diff options
| -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-'*) |