Optimize latex.sh

2018-01-30 20:36:26 +01:00
parent 54ce47cc32
commit faa2c5b135
1 changed files with 1 additions and 1 deletions
@@ -1,7 +1,7 @@
 #!/bin/sh

 if [ "$1" = "kill" ]; then
-    kill -9 $(pgrep latex.sh)
+    pkill latex.sh
 else
    DIR="$1"
    OUT="$DIR/out"