diff options
Diffstat (limited to 'dis/broke')
| -rwxr-xr-x | dis/broke | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dis/broke b/dis/broke new file mode 100755 index 00000000..b65a6ed8 --- /dev/null +++ b/dis/broke @@ -0,0 +1,4 @@ +#!/dis/sh.dis +load std +if {~ $#* 1} {U=$1} {U=`{cat /dev/user}} +ps | sed -n -e '/^[ ]*[0-9]+[ ]+[0-9]+[ ]+'$U'.*broken/s%^[ ]*([0-9]+)[ ]+.*([^ ]+)$%echo kill>/prog/\1/ctl # &%p' |