Default TMPDIR to /tmp/ for sandbox (#133)

2026-05-15 14:23:02 -07:00 · 2025-04-23 14:36:15 -07:00
parent 1ded5bd96a
commit ccc28d175b
1 changed files with 1 additions and 1 deletions
@@ -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