diff options
Diffstat (limited to 'util/kill')
-rwxr-xr-x | util/kill | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/util/kill b/util/kill new file mode 100755 index 0000000..f1924b2 --- /dev/null +++ b/util/kill @@ -0,0 +1,4 @@ +#!/bin/bash + +for i in {1..6}; do ps ax | grep -P "(server.rb|atools|net_fa|sa.extract|dtrain)" | grep -v vim | grep -v -P "^\s\+$" | cut -d " " -f $i | xargs kill -9 &>/dev/null; done + |