diff options
| author | Charles Forsyth <charles.forsyth@gmail.com> | 2015-03-27 09:09:09 +0000 |
|---|---|---|
| committer | Charles Forsyth <charles.forsyth@gmail.com> | 2015-03-27 09:09:09 +0000 |
| commit | 2fc16ec957b6255fb06841bd3e0e312701a62a03 (patch) | |
| tree | 2f61234aa3169fadb3357152f0ad6f1220190c7b /dis/broke | |
| parent | ce7d49d04420bb1624d15393ec3b8ea75c1f82da (diff) | |
new version of broke as script
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' |