From acc655d35f0aec4b96dc70490e8b5aef83505083 Mon Sep 17 00:00:00 2001 From: Seth Troisi Date: Wed, 23 Apr 2025 14:36:15 -0700 Subject: [PATCH] Default TMPDIR to /tmp/ for sandbox (#133) --- scripts/start_sandbox.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/start_sandbox.sh b/scripts/start_sandbox.sh index f9b3075a..9be2e47f 100755 --- a/scripts/start_sandbox.sh +++ b/scripts/start_sandbox.sh @@ -33,7 +33,7 @@ run_args=(-it --rm) run_args+=(-v "$PWD:$WORKDIR") # mount $TMPDIR as /tmp inside container -run_args+=(-v "$TMPDIR:/tmp") +run_args+=(-v "${TMPDIR:-/tmp/}:/tmp") # name container after image, plus numeric suffix to avoid conflicts INDEX=0