add special devices to sandbox-defaults

2015-10-30 20:32:11 -07:00 · 2015-10-30 20:32:11 -07:00 · 95c66cc950
parent b83fb35f79
commit 95c66cc950
1 changed files with 4 additions and 1 deletions
--- a/src/libstore/sandbox-defaults.sb.in
+++ b/src/libstore/sandbox-defaults.sb.in
@ -35,7 +35,10 @@
       (literal "/private/var/run/resolv.conf"))

 ; some builders use filehandles other than stdin/stdout
-(allow file* (subpath "/dev/fd"))
+(allow file*
+        (subpath "/dev/fd")
+        (literal "/dev/ptmx")
+        (regex #"^/dev/[pt]ty.*$"))

 ; allow everything inside TMP
 (allow file* process-exec