summaryrefslogtreecommitdiff
path: root/util/kill
diff options
context:
space:
mode:
authorPatrick Simianer <p@simianer.de>2016-06-07 17:09:23 +0200
committerPatrick Simianer <p@simianer.de>2016-06-07 17:09:23 +0200
commitc5b3c69696672cabefc386c61a5ac5fe4ef4ab9a (patch)
treec89813da049c7f860b4820c7ba924cdc4700eac3 /util/kill
parent609a9a0b64c9d8723b9cacaec97b512d0e07e49d (diff)
util/kill: kill truecasers
Diffstat (limited to 'util/kill')
-rwxr-xr-xutil/kill2
1 files changed, 1 insertions, 1 deletions
diff --git a/util/kill b/util/kill
index c951fc9..e82f822 100755
--- a/util/kill
+++ b/util/kill
@@ -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