From 60881cb3a1b8c77395e4945f9be7c6c596bc59c8 Mon Sep 17 00:00:00 2001 From: Michael Prokop Date: Mon, 30 Jan 2012 13:33:52 +0100 Subject: [PATCH] Run unmount of chroot's /dev twice Closes: #657023 Thanks: Michael Hanke for reporting and testing --- grml-debootstrap | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/grml-debootstrap b/grml-debootstrap index 7a3728f..619d651 100755 --- a/grml-debootstrap +++ b/grml-debootstrap @@ -199,12 +199,12 @@ cleanup() { [ -x "$MNTPOINT"/bin/umount ] && chroot "$MNTPOINT" umount -a >/dev/null 2>&1 - # ugly, but make sure we really don't leave anything (/proc /proc is intended) - for ARG in /sys /proc /proc ; do + # ugly, but make sure we really don't leave anything (/proc /proc and + # /dev /dev are intended, trying to work around timing issues, see #657023) + for ARG in /sys /proc /proc /dev /dev ; do [ -x "$MNTPOINT"/bin/umount ] && chroot "$MNTPOINT" umount $ARG >/dev/null 2>&1 umount "$MNTPOINT"/$ARG >/dev/null 2>&1 done - umount "$MNTPOINT"/dev >/dev/null 2>&1 if [ -n "$ISODIR" ] ; then [ -d "$MNTPOINT/$ISODIR" ] && umount "$MNTPOINT/$ISODIR" >/dev/null 2>&1 -- 2.1.4