From 0591711cfb823cf6ee3629e6e9a3f706dbb76419 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pjm@nac.net>
Date: Thu, 20 Mar 2014 15:02:42 -0400
Subject: miniprokit.sh: Add a delay before unmounting.

---
diff --git a/miniprokit.sh b/miniprokit.sh
index 6b04557..b911f3c 100755
--- a/miniprokit.sh
+++ b/miniprokit.sh
@@ -323,6 +323,10 @@ cmd_shell()
 	esac
 
 	chroot "${root}" /bin/sh
+	printf '\nExiting...\n'
+	# umount sometimes complains that ${root}/dev is busy.  Here's a kludge
+	# to try to avoid that.
+	sleep 1
 
 	case "$(cat "${root}/etc/proteanos_arch")" in
 		*'-linux-'*)
--
cgit v0.9.1