From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 8090 invoked from network); 18 Jun 1997 13:35:21 -0000 Received: from euclid.skiles.gatech.edu (list@130.207.146.50) by ns1.primenet.com.au with SMTP; 18 Jun 1997 13:35:21 -0000 Received: (from list@localhost) by euclid.skiles.gatech.edu (8.7.3/8.7.3) id JAA25714; Wed, 18 Jun 1997 09:03:49 -0400 (EDT) Resent-Date: Wed, 18 Jun 1997 09:03:06 -0400 (EDT) Message-Id: <199706181305.OAA29601@tower.york.ac.uk> From: wjf103@york.ac.uk (Wez Furlong) Date: Wed, 18 Jun 1997 14:05:26 +0100 In-Reply-To: Robert Stone "kill and pid files" (Jun 18, 12:25am) X-Mailer: Mail User's Shell (7.2.6 beta(3) 11/17/96) To: Robert Stone , zsh-users@math.gatech.edu Subject: Re: kill and pid files Resent-Message-ID: <"Brrzp1.0.HH6.9ozfp"@euclid> Resent-From: zsh-users@math.gatech.edu X-Mailing-List: archive/latest/902 X-Loop: zsh-users@math.gatech.edu X-Loop: zsh-workers@math.gatech.edu Precedence: list Resent-Sender: zsh-workers-request@math.gatech.edu On Jun 18, 12:25am, Robert Stone wrote: : I find myself using "kill -HUP $(cat /var/run/.pid)" Isn't it more preferable to use $(< /var/run/.pid) ? This would bypass running cat, and certainly speed up your function by using zsh's internal file reading. Feel free to correct me if I'm wrong :) -- Wez - Electronics Undergraduate at the University of York URL : http://www.twinklestar.demon.co.uk/ Insult Of The Day: Thou dissembling fool-born miscreant!