X-Git-Url: http://git.grml.org/?p=grml-live.git;a=blobdiff_plain;f=grml-live;h=1e6b6c320c4b40ef4cf3edef4aed869be5316f87;hp=e8172ff8af4b2b5986caaf71446354e7cdcf11a9;hb=819fc49d8221b578017bd9ef711c3a8c08023b7f;hpb=445e58904ed455ac323bb2317320b7ef32c95196 diff --git a/grml-live b/grml-live index e8172ff..1e6b6c3 100755 --- a/grml-live +++ b/grml-live @@ -148,6 +148,7 @@ LIVE_CONF=/etc/grml/grml-live.conf # umount all directories {{{ umount_all() { # make sure we don't leave any mounts - FAI doesn't remove them always + umount $CHROOT_OUTPUT/proc/sys/fs/binfmt_misc 2>/dev/null || /bin/true umount $CHROOT_OUTPUT/proc 2>/dev/null || /bin/true umount $CHROOT_OUTPUT/sys 2>/dev/null || /bin/true umount $CHROOT_OUTPUT/dev/pts 2>/dev/null || /bin/true