diff options
author | Patrick Simianer <p@simianer.de> | 2015-06-23 16:03:23 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2015-06-23 16:03:23 +0200 |
commit | 14f7bbab028d781cd2057a348862f911324338fd (patch) | |
tree | 170df2d80cb4aea161700e26bd951d06276a81f5 /util/kill | |
parent | 553d54484725614fa73e805b59136a39e6dee295 (diff) |
overhaul
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 + |