added cleanup script for when the run script is aborted before being able to clean up

cleanupRunDirs.sh

@@ -0,0 +1,5 @@
+#!/usr/bin/env bash
+set -uo pipefail
+
+# when executed as executable file in "git for windows" bash some things won't work, so always run with prefixed command
+rm -rf /tmp/zeitlaeufer_*;

compileProject.sh

@@ -1,6 +1,7 @@
 #!/usr/bin/env bash
 set -uo pipefail
 
+# when executed as executable file in "git for windows" bash some things won't work, so always run with prefixed command
 if [[ $# -ge 1 && $1 == "clean" ]]; then
    rm -r target/;
 fi

deployProject.sh

@@ -1,6 +1,7 @@
 #!/usr/bin/env bash
 set -uo pipefail
 
+# when executed as executable file in "git for windows" bash some things won't work, so always run with prefixed command
 if [[ ! -e dist ]]; then
    mkdir dist;
 fi

runProject.sh

@@ -1,6 +1,7 @@
 #!/usr/bin/env bash
 set -uo pipefail
 
+# when executed as executable file in "git for windows" bash some things won't work, so always run with prefixed command
 originDir=$(pwd);
 cd ~/zeitlaeufer/;
 tmpDir="/tmp/zeitlaeufer_$RANDOM";