diff options
author | Matthew Veety <mveety@gmail.com> | 2015-05-13 00:11:59 -0400 |
---|---|---|
committer | Matthew Veety <mveety@gmail.com> | 2015-05-13 00:11:59 -0400 |
commit | 80845af98b8265b13c90cf95eec9274857250859 (patch) | |
tree | b74b16286193e2a7afbb283310842edba49a0ce3 /rc | |
parent | e8c3eb87d27f95a9a0b89a93164dba42427659ec (diff) |
removed ukill.
Diffstat (limited to 'rc')
-rw-r--r-- | rc/bin/ukill | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/rc/bin/ukill b/rc/bin/ukill deleted file mode 100644 index f2773bbd5..000000000 --- a/rc/bin/ukill +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/rc -rfork e -if(~ $#1 0){ - USER=`{cat /dev/user} -} -if not { - USER=$1 -} -PROCS=`{ps | grep $USER | awk '{print $2}'} -for(i in $PROCS){ - echo '@{echo kill>/proc/'^$i^'/note}' -} |