Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

Re: kill and pid files

X-seq: zsh-users 902
From: wjf103@xxxxxxxxxx (Wez Furlong)
To: Robert Stone <rstone@xxxxxxxxxxxxx>, zsh-users@xxxxxxxxxxxxxxx
Subject: Re: kill and pid files
Date: Wed, 18 Jun 1997 14:05:26 +0100
In-reply-to: Robert Stone <rstone@xxxxxxxxxxxxx> "kill and pid files" (Jun 18, 12:25am)

On Jun 18, 12:25am, Robert Stone wrote:

: 	I find myself using "kill -HUP $(cat /var/run/<program>.pid)"

Isn't it more preferable to use $(< /var/run/<program>.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!

Messages sorted by: Reverse Date, Date, Thread, Author