diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-07-21 21:54:09 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-07-21 21:54:09 (EDT) |
| commit | f2c1630ff4b4a5adc0b8bf02442b6cecf0aa8015 (patch) | |
| tree | 8d0a036c2844ca8e614228d58c85f26d58fb5243 | |
| parent | 3319b4a3b2ee8726a8d21e62ac639070c552dc0f (diff) | |
installers/pc: Keep running umount until it works
| -rwxr-xr-x | installers/pc.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/installers/pc.sh b/installers/pc.sh index 435ad7c..39e1e94 100755 --- a/installers/pc.sh +++ b/installers/pc.sh @@ -283,7 +283,9 @@ umount_fs() { local mountpoint="${1}" - umount "${mountpoint}" + while ! umount "${mountpoint}"; do + sleep 1 + done rmdir "${mountpoint}" } |