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

kill builtin

X-seq: zsh-workers 16367
From: Gerald Britton <gbritton@xxxxxxx>
To: zsh-workers@xxxxxxxxxxxxxx
Subject: kill builtin
Date: Thu, 20 Dec 2001 22:26:14 -0500
Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm

Discovered today that redhat's initscripts try to execute roughly:

	$SHELL -c kill -SIGIO $PID

which works if root's shell is bash, the util-linux kill command also
accepts -SIG<SIG> args, however, zsh's kill builtin doesn't accept this.
it seems like a perfectly simple patch to do, and i'd probably do it myself
if it weren't for being behind a 14.4 cellular link at the moment (it was the
ppp-watch stuff in redhat's initscripts which tried to do that ;)

				-- Gerald

Follow-Ups:
- Re: kill builtin
  - From: Oliver Kiddle
- kill and _kill/_signals problems
  - From: Geoff Wing

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