diff --git a/common.sh b/common.sh index 1062786..8030efa 100644 --- a/common.sh +++ b/common.sh @@ -354,3 +354,13 @@ linux_mount_boot () { mountboot="$bootpart $mounted" } + +umount_exec=$(which umount) +umount() { + if ! $umount_exec $@ 2> /dev/null; then + error "umount error, retrying after 1 sec" + sleep 1 + $umount_exec $@ + fi +} +