diff options
Diffstat (limited to 'killem.sh')
| -rwxr-xr-x | killem.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/killem.sh b/killem.sh deleted file mode 100755 index 7b4d3a2..0000000 --- a/killem.sh +++ /dev/null | |||
| @@ -1,21 +0,0 @@ | |||
| 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 | ||