diff options
| -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}" } |