diff options
| author | Patrick Simianer <p@simianer.de> | 2016-07-15 12:17:01 +0200 |
|---|---|---|
| committer | Patrick Simianer <p@simianer.de> | 2016-07-15 12:17:01 +0200 |
| commit | 29ca42a8605ff29524ed287f384d5113f1ec30d7 (patch) | |
| tree | 8909820797e378ddadc3c44c38eb22217f332735 /util/kill_all | |
| parent | 259d67b738d9e7375d12ffa8b7d613ef98f0ad9f (diff) | |
mv
Diffstat (limited to 'util/kill_all')
| -rwxr-xr-x | util/kill_all | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/util/kill_all b/util/kill_all new file mode 100755 index 0000000..e82f822 --- /dev/null +++ b/util/kill_all @@ -0,0 +1,4 @@ +#!/bin/bash + +for i in {1..6}; do ps ax | grep -P "(server.rb|wrapper.rb|atools|net_fa|sa.extract|dtrain|truecase.perl)" | grep -v vim | grep -v -P "^\s\+$" | cut -d " " -f $i | xargs kill -9 &>/dev/null; done + |