diff options
Diffstat (limited to 'bin/killem.sh')
-rwxr-xr-x | bin/killem.sh | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/bin/killem.sh b/bin/killem.sh new file mode 100755 index 0000000..7b4d3a2 --- /dev/null +++ b/bin/killem.sh | |||
@@ -0,0 +1,21 @@ | |||
1 | #!/bin/bash | ||
2 | |||
3 | # TODO - Deal with the valgrind left overs, by scanning the output of the following lines, picking out the PIDs, then "kill -KILL pid" | ||
4 | ps aux | grep love | ||
5 | ps aux | grep LuaSL | ||
6 | |||
7 | killall -TERM love | ||
8 | sleep 1 | ||
9 | killall -TERM LuaSL | ||
10 | sleep 1 | ||
11 | |||
12 | ps aux | grep love | ||
13 | ps aux | grep LuaSL | ||
14 | |||
15 | killall -KILL love | ||
16 | sleep 1 | ||
17 | killall -KILL LuaSL | ||
18 | sleep 1 | ||
19 | |||
20 | ps aux | grep love | ||
21 | ps aux | grep LuaSL | ||