projects
/
grml-live.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
445e589
)
Umount /proc/sys/fs/binfmt_misc before umounting /proc.
author
Ulrich Dangel
<mru@grml.org>
Mon, 12 Dec 2011 18:49:24 +0000
(19:49 +0100)
committer
Ulrich Dangel
<mru@grml.org>
Mon, 12 Dec 2011 18:49:28 +0000
(19:49 +0100)
Thanks to dileks for debugging it.
grml-live
patch
|
blob
|
history
diff --git
a/grml-live
b/grml-live
index
e8172ff
..
1e6b6c3
100755
(executable)
--- 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