>> 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

			    mouse@collatz.mcrcim.mcgill.edu