diff options
author | cinap_lenrek <cinap_lenrek@felloff.net> | 2020-12-23 01:43:29 +0100 |
---|---|---|
committer | cinap_lenrek <cinap_lenrek@felloff.net> | 2020-12-23 01:43:29 +0100 |
commit | 4675de1ba0005597e98d6e183c6df278e9687d1f (patch) | |
tree | 165bbb33fc1b06d5e3122e748f0b782e7dd872b0 | |
parent | e45c7480b612582c40c579c657630aa43b444a72 (diff) | |
download | plan9front-4675de1ba0005597e98d6e183c6df278e9687d1f.tar.xz |
kill, slay, broke: dont pollute environment, use $user
-rwxr-xr-x | rc/bin/broke | 6 | ||||
-rwxr-xr-x | rc/bin/kill | 3 | ||||
-rwxr-xr-x | rc/bin/slay | 4 |
3 files changed, 6 insertions, 7 deletions
diff --git a/rc/bin/broke b/rc/bin/broke index d843483eb..585b3c884 100755 --- a/rc/bin/broke +++ b/rc/bin/broke @@ -1,8 +1,8 @@ #!/bin/rc -U=`{cat /dev/user} +rfork e if(~ $#* 1){ - U=$1 + user=$1 } -ps | sed -n '/^'$U' .* Broken/s%[^ ]* *%~>/proc/% +ps | sed -n '/^'$user' .* Broken/s%[^ ]* *%~>/proc/% s% *.* (.*)%/ctl # \1% s%~%echo kill%p' diff --git a/rc/bin/kill b/rc/bin/kill index 5df69b7dc..5414b8277 100755 --- a/rc/bin/kill +++ b/rc/bin/kill @@ -1,8 +1,7 @@ #!/bin/rc rfork e -U=`{cat /dev/user} for(i){ - ps | sed -n '/^'$U' .* '$i'$/s%[^ ]* *%~>/proc/% + ps | sed -n '/^'$user' .* '$i'$/s%[^ ]* *%~>/proc/% s% *.* (.*)%/note} # \1% s%~%@{echo kill%p' } diff --git a/rc/bin/slay b/rc/bin/slay index 67d9c9f7f..60c8272c9 100755 --- a/rc/bin/slay +++ b/rc/bin/slay @@ -1,7 +1,7 @@ #!/bin/rc -U=`{cat /dev/user} +rfork e for(i){ - ps | sed -n '/^'$U' .* '$i'$/s%[^ ]* *%~>/proc/% + ps | sed -n '/^'$user' .* '$i'$/s%[^ ]* *%~>/proc/% s% *.* (.*)%/ctl} # \1% s%~%@{echo kill%p' } |