summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLaurent Bercot <ska-skaware@skarnet.org>2020-07-07 22:41:22 +0000
committerLaurent Bercot <ska-skaware@skarnet.org>2020-07-07 22:41:22 +0000
commitb8941152d21047e2e4fb3a1f2533c9b8512d8e2c (patch)
tree358b717521070fcfe38e44c61e0114fa253d6f3d
parent962f721d8809ac4094aa9ced84e04ef1c253d740 (diff)
downloads6-rc-b8941152d21047e2e4fb3a1f2533c9b8512d8e2c.tar.xz
Change example source db to avoid unmounting /proc
-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.