diff options
author | Patrick Simianer <p@simianer.de> | 2016-06-07 17:09:23 +0200 |
---|---|---|
committer | Patrick Simianer <p@simianer.de> | 2016-06-07 17:09:23 +0200 |
commit | c5b3c69696672cabefc386c61a5ac5fe4ef4ab9a (patch) | |
tree | c89813da049c7f860b4820c7ba924cdc4700eac3 | |
parent | 609a9a0b64c9d8723b9cacaec97b512d0e07e49d (diff) |
util/kill: kill truecasers
-rwxr-xr-x | util/kill | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ #!/bin/bash -for i in {1..6}; do ps ax | grep -P "(server.rb|wrapper.rb|atools|net_fa|sa.extract|dtrain)" | grep -v vim | grep -v -P "^\s\+$" | cut -d " " -f $i | xargs kill -9 &>/dev/null; done +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 |