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

2025-09-04 16:54:22 +02:00
parent 9addfe51d7
commit 941e15389f
1 changed files with 5 additions and 0 deletions
@@ -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_*;