diff options
author | Jude Taylor <me@jude.bio> | 2015-11-12 22:51:52 -0800 |
---|---|---|
committer | Jude Taylor <me@jude.bio> | 2015-11-14 14:11:03 -0800 |
commit | 22dfd023fafc5951619072d3031e3198f9538e45 (patch) | |
tree | ecc0e2e13d89fcd7d11f28a9a1a73f09043ca2cf /release.nix | |
parent | 8a7f0dfd68a785d254f7156c4b57c8809eb4bbbe (diff) |
update sandbox profiles within nix
Diffstat (limited to 'release.nix')
-rw-r--r-- | release.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/release.nix b/release.nix index 4269a3f76..cb391d0ff 100644 --- a/release.nix +++ b/release.nix @@ -97,6 +97,11 @@ let enableParallelBuilding = true; + __sandboxProfile = lib.sandbox.allowNetwork + + lib.sandbox.allowFileRead { + literal = [ "/etc" "/etc/nix/nix.conf" "/private/etc/nix/nix.conf" ]; + }; + makeFlags = "profiledir=$(out)/etc/profile.d"; preBuild = "unset NIX_INDENT_MAKE"; |