Changeset 98200

Timestamp:

Sep 28, 2012, 9:56:01 PM (12 years ago)

Author:

jmr@…

Message:

add /tmp to sandbox

File:

• trunk/base/src/port1.0/portsandbox.tcl (modified) (2 diffs)

trunk/base/src/port1.0/portsandbox.tcl

@@ -62 +62 @@
     lappend allow_dirs $workpath $altprefix
 
-    set portsandbox_profile "(version 1) (allow default) (deny file-write*)"
+    set portsandbox_profile "(version 1) (allow default) (deny file-write*) \
+(allow file-write-data (literal \"/dev/null\")) (allow file-write* (regex #\"^(/private)?/tmp/\"))"
     foreach dir $allow_dirs {
         append portsandbox_profile " (allow file-write* "
@@ -72 +73 @@
         append portsandbox_profile ")"
     }
-    append portsandbox_profile " (allow file-write-data (literal \"/dev/null\"))"
 }