mount /proc
authorRalph Ronnquist <ralph.ronnquist@gmail.com>
Mon, 28 Feb 2022 10:31:41 +0000 (21:31 +1100)
committerRalph Ronnquist <ralph.ronnquist@gmail.com>
Mon, 28 Feb 2022 10:31:41 +0000 (21:31 +1100)
startup

diff --git a/startup b/startup
index 1a71b92b2eeef97124d60cf3a1f4f2e19e0058c5..dd07b985200dcc06a39db335494f5f85e410d166 100755 (executable)
--- a/startup
+++ b/startup
@@ -9,6 +9,7 @@ NOW=$(date +"%Y%m%d-%H%M%S")
     set -x
     
     mkdir -p /dev/pts /dev/shm /run
+    [ -f /proc/mounts ] || mount -t proc proc /proc
     if ! grep "^none /run tmpfs" /proc/mounts ; then
        mount -t tmpfs -osize=80M none /run
        mount -t tmpfs -osize=20M none /dev/shm