diff options
| author | P. J. McDermott <pjm@nac.net> | 2014-03-20 15:02:42 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2014-03-20 15:04:07 (EDT) |
| commit | 0591711cfb823cf6ee3629e6e9a3f706dbb76419 (patch) | |
| tree | ef70f60a3328b454c0cc06bae8e73c339a134c28 | |
| parent | 58e28089aa8b41858d765b362cbb9f4975d6616e (diff) | |
miniprokit.sh: Add a delay before unmounting.
| -rwxr-xr-x | miniprokit.sh | 4 |
1 files changed, 4 insertions, 0 deletions
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-'*) |