URI: 
       tallow kill of pids.  recognize -sig. - plan9port - [fork] Plan 9 from user space
  HTML git clone git://src.adamsgaard.dk/plan9port
   DIR Log
   DIR Files
   DIR Refs
   DIR README
   DIR LICENSE
       ---
   DIR commit f9bca6a2a402eca55bcd8ea3f17d0051d7b5382e
   DIR parent ead3e31153b4258073dd16f990e0bc1842646562
  HTML 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(-)
       ---
   DIR diff --git a/bin/kill b/bin/kill
       t@@ -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