Skip to content

Commit

Permalink
docker support
Browse files Browse the repository at this point in the history
  • Loading branch information
ezrizhu committed Feb 16, 2024
1 parent 0647f69 commit 70ae8dd
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions try
Original file line number Diff line number Diff line change
Expand Up @@ -47,6 +47,13 @@ try() {
## Make any directories that don't already exist, this is OK to do here
## because we have already checked if it valid.
export SANDBOX_DIR

# If we're in a docker container, we want to mount tmpfs on sandbox_dir, #136
if [ -f /.dockerenv ] && [ "$(id -u)" -eq "0" ]
then
mount -t tmpfs tmpfs "$SANDBOX_DIR"
fi

mkdir -p "$SANDBOX_DIR/upperdir" "$SANDBOX_DIR/workdir" "$SANDBOX_DIR/temproot"

## Find all the directories and mounts that need to be mounted
Expand Down

0 comments on commit 70ae8dd

Please sign in to comment.