Skip to content

Instantly share code, notes, and snippets.

@mefyl

mefyl/sandbox.sh.patch

Created October 15, 2019 12:22
Show Gist options
  • Save mefyl/2c2633c0158128cf4dfdaeb578455ffd to your computer and use it in GitHub Desktop.
Save mefyl/2c2633c0158128cf4dfdaeb578455ffd to your computer and use it in GitHub Desktop.
Download ZIP
Raw
sandbox.sh.patch
--- $HOME/.opam/opam-init/hooks/sandbox.sh
+++ $HOME/.opam/opam-init/hooks/sandbox.sh
@@ -56,6 +56,7 @@
# the OPAM_USER_PATH_RO format is the same as PATH
# ie: export OPAM_USER_PATH_RO=/nix/store:/rw/usrlocal
add_sys_mounts /usr /bin /lib /lib32 /lib64 /etc /opt /home /var
+add_mount rw $HOME/.cache/dune $HOME/.cache/dune
# C compilers using `ccache` will write to a shared cache directory
# that remain writeable. ccache seems widespread in some Fedora systems.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment