diff options
author | Pierre Labastie <pierre.labastie@neuf.fr> | 2022-10-02 09:52:59 +0200 |
---|---|---|
committer | Pierre Labastie <pierre.labastie@neuf.fr> | 2022-10-02 09:52:59 +0200 |
commit | 8e0c191b9b6d35274b363b478a479c7dd4ed32e4 (patch) | |
tree | ae8e1017819a8b2a509c387b7e118f435e564146 | |
parent | b3daf0157845b5a86e2b6aec8a859a0d75010a3c (diff) |
umount /dev/shm before rebooting
Now that /dev/shm is always a mountpoint, it needs to be umounted
otherwise dev cannot be umounted.
-rw-r--r-- | chapter11/reboot.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/chapter11/reboot.xml b/chapter11/reboot.xml index ebfb0a2b1..1d76fcc7a 100644 --- a/chapter11/reboot.xml +++ b/chapter11/reboot.xml @@ -107,6 +107,7 @@ <para>Then unmount the virtual file systems:</para> <screen><userinput>umount -v $LFS/dev/pts +umount -v $LFS/dev/shm umount -v $LFS/dev umount -v $LFS/run umount -v $LFS/proc |