diff options
author | Daniel Baumann <daniel@debian.org> | 2010-05-21 08:40:03 +0200 |
---|---|---|
committer | Daniel Baumann <daniel@debian.org> | 2010-05-23 12:31:12 +0200 |
commit | 7b0ae0985255fe30e7dfe096f9c2a00296302140 (patch) | |
tree | 469ebca21e91e1045906659d93ec50004722939b | |
parent | b5dcada38504faa47a3535f948b852f43f0f1979 (diff) | |
download | vyos-live-build-7b0ae0985255fe30e7dfe096f9c2a00296302140.tar.gz vyos-live-build-7b0ae0985255fe30e7dfe096f9c2a00296302140.zip |
Also (try) unmounting /dev/shm in exit function.
-rwxr-xr-x | functions/exit.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/functions/exit.sh b/functions/exit.sh index b32fd00f5..338f28516 100755 --- a/functions/exit.sh +++ b/functions/exit.sh @@ -28,7 +28,7 @@ Exit () umount ${DIRECTORY} > /dev/null 2>&1 || true done else - for DIRECTORY in /dev/pts /dev /proc /selinux /sys + for DIRECTORY in /dev/shm /dev/pts /dev /proc /selinux /sys do umount -f chroot/${DIRECTORY} > /dev/null 2>&1 || true done |