From e8dff6bb5fc24b74eb9aa7196ea633a558178af2 Mon Sep 17 00:00:00 2001 From: Florian Sylvain Date: Sat, 10 Oct 2026 00:23:39 +0200 Subject: [PATCH] chore: improved mutate script so we don't end up with hunders of GBs of gremlins cache after a few slices --- scripts/mutate.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/mutate.sh b/scripts/mutate.sh index 954613e..c99e246 100644 --- a/scripts/mutate.sh +++ b/scripts/mutate.sh @@ -2,7 +2,9 @@ set -euo pipefail root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)" -work="$(mktemp -d)" +work="$root/tmp/mutate-work" +rm -rf "$work" +mkdir -p "$work" trap 'rm -rf "$work"' EXIT trap 'echo "mutate: interrupted" >&2; exit 130' INT TERM