diff options
author | librewish | 2021-09-12 20:30:34 +0530 |
---|---|---|
committer | librewish | 2021-09-12 20:30:34 +0530 |
commit | 752ceb29fd23a6c4cffbca9f65adad1cb53f4872 (patch) | |
tree | a41fd50e983356d81f724b91463f8855bae07d9a /os-prober-umount-fix.patch | |
parent | 5271f23d8ac140f2db82697b645c38a41ccc78ac (diff) | |
download | aur-752ceb29fd23a6c4cffbca9f65adad1cb53f4872.tar.gz |
add patches from opensuse
Diffstat (limited to 'os-prober-umount-fix.patch')
-rw-r--r-- | os-prober-umount-fix.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/os-prober-umount-fix.patch b/os-prober-umount-fix.patch deleted file mode 100644 index 6e7937c161b9..000000000000 --- a/os-prober-umount-fix.patch +++ /dev/null @@ -1,18 +0,0 @@ -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 -+} -+ |