diff options
author | Laurent Bercot <ska-skaware@skarnet.org> | 2020-07-07 22:41:22 +0000 |
---|---|---|
committer | Laurent Bercot <ska-skaware@skarnet.org> | 2020-07-07 22:41:22 +0000 |
commit | b8941152d21047e2e4fb3a1f2533c9b8512d8e2c (patch) | |
tree | 358b717521070fcfe38e44c61e0114fa253d6f3d /examples/source/mount-proc | |
parent | 962f721d8809ac4094aa9ced84e04ef1c253d740 (diff) | |
download | s6-rc-b8941152d21047e2e4fb3a1f2533c9b8512d8e2c.tar.xz |
Change example source db to avoid unmounting /proc
Diffstat (limited to 'examples/source/mount-proc')
-rw-r--r-- | examples/source/mount-proc/down | 5 |
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. |