Skip to content

Commit

Permalink
sandbox: follow link of and to correctly mount them
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Mar 4, 2020
1 parent ddad707 commit 201c304
Showing 1 changed file with 8 additions and 4 deletions.
12 changes: 8 additions & 4 deletions src/state/shellscripts/bwrap.sh
Original file line number Diff line number Diff line change
Expand Up @@ -76,10 +76,14 @@ add_ccache_mount() {
}

add_dune_cache_mount() {
DUNE_CACHE=${XDG_CACHE_HOME:-$HOME/.cache}/dune
mkdir -p ${DUNE_CACHE}
add_mounts rw $DUNE_CACHE
}
u_cache=${XDG_CACHE_HOME:-$HOME/.cache}
u_dune_cache=$u_cache/dune
cache=$(readlink -f "$u_cache")
dune_cache=$cache/dune
dune_cache=$(readlink -f $u_dune_cache)
mkdir -p ${dune_cache}
add_mount rw $u_dune_cache $dune_cache
}

# This case-switch should remain identical between the different sandbox implems
COMMAND="$1"; shift
Expand Down

0 comments on commit 201c304

Please sign in to comment.