From: Michael Prokop <mika@grml.org>
Date: Mon, 30 Jan 2012 12:33:52 +0000 (+0100)
Subject: Run unmount of chroot's /dev twice
X-Git-Tag: v0.49~3
X-Git-Url: https://git.grml.org/?p=grml-debootstrap.git;a=commitdiff_plain;h=60881cb3a1b8c77395e4945f9be7c6c596bc59c8

Run unmount of chroot's /dev twice

Closes: #657023
Thanks: Michael Hanke <mih@debian.org> for reporting and testing
---

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