diff options
Diffstat (limited to '')
-rwxr-xr-x | killem.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,5 +1,6 @@ | |||
1 | #!/bin/bash | 1 | #!/bin/bash |
2 | 2 | ||
3 | # TODO - Deal with the valgrind left overs, by scanning the output of the following lines, pciking out the PIDs, then "kill -KILL pid" | ||
3 | ps aux | grep love | 4 | ps aux | grep love |
4 | ps aux | grep LuaSL | 5 | ps aux | grep LuaSL |
5 | 6 | ||