diff options
Diffstat (limited to '')
-rwxr-xr-x | killem.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +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 | # 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 | 4 | ps aux | grep love |
5 | ps aux | grep LuaSL | 5 | ps aux | grep LuaSL |
6 | 6 | ||