diff options
Diffstat (limited to 'dis')
| -rwxr-xr-x | dis/broke | 4 | ||||
| -rw-r--r-- | dis/broke.dis | bin | 1135 -> 0 bytes |
2 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' diff --git a/dis/broke.dis b/dis/broke.dis Binary files differdeleted file mode 100644 index e96c4cdf..00000000 --- a/dis/broke.dis +++ /dev/null |