Subject: Re: Killing processes by name
To: None <current-users@NetBSD.ORG>
From: der Mouse <mouse@Collatz.McRCIM.McGill.EDU>
List: current-users
Date: 04/12/1996 10:05:26
>> oh, and /bin/kill on solaris:
>> svr4islame ~# cat /bin/kill
>> /bin/sh -c "kill $*"

> Indeed, I don't know why kill is separate at all anymore.  It might
> be a little more "bloat", but it should probably go into /bin/sh, and
> we can eliminate /bin/kill altogether.

If kill isn't a separate program, that makes it hard to do things like

	% ...generate a list of PIDs... | xargs kill -TERM

Every builtin should also be a separate program - at least builtins for
which it makes sense; echo, kill, nice, and time are the only such I
see in looking at my shell's source.

					der Mouse