linux service scripts: remount /proc after intial mount

The "hidepid=1" mount option to /proc doesn't appear to take effect on the
first mount. May be a kernel or "mount" bug. In the meantime, workaround it
by remounting immediately with the desired option.

diff --git a/doc/linux/services/early-filesystems.sh b/doc/linux/services/early-filesystems.sh
index ca70379c76d6bc2d212709e3567e6a41749c3da8..58bf09dcefdd4955f722f9c80d61647d353064af 100755 (executable)
--- a/doc/linux/services/early-filesystems.sh
+++ b/doc/linux/services/early-filesystems.sh
@@ -9,7 +9,10 @@ if [ "$1" = start ]; then
     # Ideally devtmpfs will be mounted by kernel:
     mount -n -t devtmpfs tmpfs /dev
     mount -n -t tmpfs -o mode=775 tmpfs /run
+    # "hidepid=1" doesn't appear to take effect on first mount of /proc,
+    # so we mount it and then remount:
     mount -n -t proc -o hidepid=1 proc /proc
+    mount -n -t proc -o remount,hidepid=1 proc /proc
     mkdir /run/udev
     mkdir /dev/pts
     mkdir /dev/shm