diff options
| author | Nathan Ringo <nathan@remexre.com> | 2024-01-18 12:40:28 -0600 |
|---|---|---|
| committer | Nathan Ringo <nathan@remexre.com> | 2024-01-18 12:40:28 -0600 |
| commit | c3efede502f0f9ba3b03195ac8f30fff0376c8ab (patch) | |
| tree | a5897c077b3300eae1c1db3d2bca1b13f9e5e25d /sandboxed-discocaml.sh | |
| parent | 00d0bfced902e97eeae5257c14134d4bc7efc710 (diff) | |
Libify ocaml, add buttons to interaction.
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" "$@" |