Subject: Re: Killing processes by name (svr4 lameness)
To: None <current-users@NetBSD.ORG>
From: der Mouse <mouse@Collatz.McRCIM.McGill.EDU>
List: current-users
Date: 04/12/1996 10:09:24
>>> svr4islame ~# cat /bin/kill
>>> /bin/sh -c "kill $*"

> I suppose we should file a bug with sun suggesting this instead:

> 	#!/bin/sh
> 	kill "$@"

In general, shouldn't that be

	case $# in
		0)	kill ;;
		*)	kill "$@" ;;

instead?  Or have we (er, has Sun) finally fixed that, so that "$@"
goes away entirely instead of turning into "" when $# is zero?  (In the
case of kill, the difference may not matter, of course. :-)

					der Mouse