From 941e15389f2e97ef90f77a6a47b862a32a1e85cc Mon Sep 17 00:00:00 2001
From: fszimnau <fabian.szimnau@ergo-life.com>
Date: Thu, 4 Sep 2025 16:54:22 +0200
Subject: [PATCH] added cleanup script for when the run script is aborted
 before being able to clean up

---
 cleanupRunDirs.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 cleanupRunDirs.sh

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_*;