From c3e59bf1f8f911dc04bd714a19eeeec4d452a356 Mon Sep 17 00:00:00 2001 From: David Walter Seikel Date: Mon, 28 Mar 2016 22:41:02 +1000 Subject: Move some scripts to the bin directory. --- killem.sh | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100755 killem.sh (limited to 'killem.sh') diff --git a/killem.sh b/killem.sh deleted file mode 100755 index 7b4d3a2..0000000 --- a/killem.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/bash - -# TODO - Deal with the valgrind left overs, by scanning the output of the following lines, picking out the PIDs, then "kill -KILL pid" -ps aux | grep love -ps aux | grep LuaSL - -killall -TERM love -sleep 1 -killall -TERM LuaSL -sleep 1 - -ps aux | grep love -ps aux | grep LuaSL - -killall -KILL love -sleep 1 -killall -KILL LuaSL -sleep 1 - -ps aux | grep love -ps aux | grep LuaSL -- cgit v1.1