summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--examples/source/mount-proc/down5
1 files changed, 4 insertions, 1 deletions
diff --git a/examples/source/mount-proc/down b/examples/source/mount-proc/down
index 57465e9..e32aef4 100644
--- a/examples/source/mount-proc/down
+++ b/examples/source/mount-proc/down
@@ -1 +1,4 @@
-s6-umount /proc
+# s6-linux-init needs /proc still mounted at shutdown time
+# (in order to read /proc/mounts, to know what order to unmount
+# all the disks in).
+# So, in this script we do nothing, we just leave /proc mounted.