MOunt pf data read-only. Now we can give other people access to it.
authorSapan Bhatia <sapanb@cs.princeton.edu>
Wed, 16 Jul 2008 18:55:44 +0000 (18:55 +0000)
committerSapan Bhatia <sapanb@cs.princeton.edu>
Wed, 16 Jul 2008 18:55:44 +0000 (18:55 +0000)
factory/pfmount

index fb7ee6c..0282c76 100755 (executable)
@@ -6,5 +6,5 @@
 DEST="/vservers/$1/pf"
 mount | grep "on $DEST type" > /dev/null
 if [ $? -eq 1 ]; then
 DEST="/vservers/$1/pf"
 mount | grep "on $DEST type" > /dev/null
 if [ $? -eq 1 ]; then
-    mount --bind /var/local/fprobe $DEST
+    mount --bind /var/local/fprobe -o ro $DEST
 fi
 fi