diff --git a/cleanupRunDirs.sh b/cleanupRunDirs.sh new file mode 100644 index 0000000..18694d4 --- /dev/null +++ b/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_*;