diff options
Diffstat (limited to 'sandboxed-discocaml.sh')
| -rwxr-xr-x | sandboxed-discocaml.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/sandboxed-discocaml.sh b/sandboxed-discocaml.sh index 04bd744..142097e 100755 --- a/sandboxed-discocaml.sh +++ b/sandboxed-discocaml.sh @@ -11,11 +11,11 @@ cleanup() trap cleanup EXIT rm "$tmp" -nix build -o "$tmp" .#discocaml +nix build -L -o "$tmp" .#discocaml bindir="$(realpath "$tmp")/bin" exec \ -timeout 10 \ -env -i \ -"$(which bwrap)" --unshare-all --ro-bind "$bindir" "/" \ -"/discocaml" "$@" + timeout 10 \ + env -i \ + "$(which bwrap)" --unshare-all --ro-bind "$bindir" "/" \ + "/discocaml" "$@" |