chore: improved mutate script so we don't end up with hunders of GBs of gremlins cache after a few slices
This commit is contained in:
1 parent
c484d5bd12
commit
e8dff6bb5f
1 file changed
+3
-1
+3
-1
@@ -2,7 +2,9 @@
|
|||||||
set -euo pipefail
|
set -euo pipefail
|
||||||
|
|
||||||
root="$(cd "$(dirname "${BASH_SOURCE[0]}")/.." && pwd)"
|
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 'rm -rf "$work"' EXIT
|
||||||
trap 'echo "mutate: interrupted" >&2; exit 130' INT TERM
|
trap 'echo "mutate: interrupted" >&2; exit 130' INT TERM
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user