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

This commit is contained in:
Seth Troisi
2025-04-23 14:36:15 -07:00
committed by GitHub
parent f90dcf663e
commit acc655d35f

View File

@@ -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