From 400d0a546e7e2be76ef8db2c00a1b09a992604d4 Mon Sep 17 00:00:00 2001 From: Steffen Date: Thu, 23 May 2024 18:15:02 +0200 Subject: [PATCH] chore(shell): add correction utility script for frequent test bug --- fixtest.sh | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100755 fixtest.sh diff --git a/fixtest.sh b/fixtest.sh new file mode 100755 index 000000000..d59f51144 --- /dev/null +++ b/fixtest.sh @@ -0,0 +1,6 @@ +if [[ ! -d .stack-work-test ]]; then + mv -vT .stack-work .stack-work-test + [[ -d .stack-work-build ]] && mv -vT .stack-work-build .stack-work +else + echo "Directory .stack-work-test exists already." +fi