diff options
| author | Librewish | 2020-10-25 15:57:24 +0530 |
|---|---|---|
| committer | Librewish | 2020-10-25 15:57:24 +0530 |
| commit | 5271f23d8ac140f2db82697b645c38a41ccc78ac (patch) | |
| tree | c6b82c2b8538c1bdf9de3f43e4d1e88bb0fb4f61 /os-prober-umount-fix.patch | |
| download | aur-5271f23d8ac140f2db82697b645c38a41ccc78ac.tar.gz | |
update
Diffstat (limited to 'os-prober-umount-fix.patch')
| -rw-r--r-- | os-prober-umount-fix.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/os-prober-umount-fix.patch b/os-prober-umount-fix.patch new file mode 100644 index 000000000000..6e7937c161b9 --- /dev/null +++ b/os-prober-umount-fix.patch @@ -0,0 +1,18 @@ +Index: os-prober/common.sh +=================================================================== +--- os-prober.orig/common.sh ++++ os-prober/common.sh +@@ -336,3 +336,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 ++} ++ |