Subject: Re: Killing processes by name
To: matthew green <>
From: J.T. Conklin <>
List: current-users
Date: 04/11/1996 08:18:33
> [ warning:  following data may cause violent vomitting ]
> oh, and /bin/kill on solaris:
> svr4islame ~# cat /bin/kill
> /bin/sh -c "kill $*"

This is not surprising to me, as kill is a perfectly good shell
builtin.  Very rarely will /bin/kill be executed itself.  POSIX.2
actually recommends using a shell script similar to the above for
a handful of utilities that are both builtins and must live as
"real" programs.