diff options
| author | Seth Troisi <[email protected]> | 2025-04-23 14:36:15 -0700 |
|---|---|---|
| committer | GitHub <[email protected]> | 2025-04-23 14:36:15 -0700 |
| commit | acc655d35f0aec4b96dc70490e8b5aef83505083 (patch) | |
| tree | 5c70d83865921136409909ab41677407b120456d /scripts/start_sandbox.sh | |
| parent | f90dcf663e06cd4c28dfd5703f65a1a4499a8d74 (diff) | |
Default TMPDIR to /tmp/ for sandbox (#133)
Diffstat (limited to 'scripts/start_sandbox.sh')
| -rwxr-xr-x | scripts/start_sandbox.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |