plan9port

commit f9bca6a2a402eca55bcd8ea3f17d0051d7b5382e
parent ead3e31153b4258073dd16f990e0bc1842646562
Author: rsc <devnull@localhost>
Date:   Tue,  4 Jan 2005 21:14:29 +0000

allow kill of pids.  recognize -sig.

Diffstat:
M
bin/kill
 | 
10
+++++++++-

1 file changed, 9 insertions(+), 1 deletion(-)
diff --git a/bin/kill b/bin/kill
@@ -1,6 +1,14 @@
 #!/bin/sh
 
+sig=""
+case "$1" in
+-*)
+	sig=" $1"
+	shift
+	;;
+esac
+
 for i
 do
-	psu | awk '$NF ~ /^('$i')$/ {printf("/bin/kill %d # %s\n", $2, $0);}'
+	psu | awk '$NF == "'"$i"'" || $2 == "'"$i"'" {printf("/bin/kill%s %d # %s\n", "'"$sig"'", $2, $0);}'
 done