diff options
| -rwxr-xr-x | rc/bin/kill | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/rc/bin/kill b/rc/bin/kill index def927e92..e8ea70ac6 100755 --- a/rc/bin/kill +++ b/rc/bin/kill @@ -1,4 +1,8 @@ #!/bin/rc +rfork e +U=`{cat /dev/user} for(i){ - ps | sed -n '/ '^$i^'$/s%^[^ ]* *([^ ]*).*%chmod 666 /proc/\1/ctl;echo kill > /proc/\1/ctl%p' + ps | sed -n '/^'$U' .* '$i'$/s%[^ ]* *%~>/proc/% + s% *.* (.*)%/note # \1% + s%~%echo kill%p' } |