diff options
Diffstat (limited to 'debian/patches/grub_os-prober.patch')
-rw-r--r-- | debian/patches/grub_os-prober.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/debian/patches/grub_os-prober.patch b/debian/patches/grub_os-prober.patch new file mode 100644 index 0000000..e226eab --- /dev/null +++ b/debian/patches/grub_os-prober.patch @@ -0,0 +1,22 @@ +diff --git a/util/grub.d/30_os-prober.in b/util/grub.d/30_os-prober.in +index 225a3baf7..ea3f3f804 100644 +--- a/util/grub.d/30_os-prober.in ++++ b/util/grub.d/30_os-prober.in +@@ -40,13 +40,13 @@ EOF + fi + } + +-if [ "x${GRUB_DISABLE_OS_PROBER}" = "xtrue" ]; then +- grub_warn "$(gettext_printf "os-prober will not be executed to detect other bootable partitions.\nSystems on them will not be added to the GRUB boot configuration.\nCheck GRUB_DISABLE_OS_PROBER documentation entry.")" ++if ! command -v os-prober > /dev/null || ! command -v linux-boot-prober > /dev/null ; then ++ # missing os-prober and/or linux-boot-prober + exit 0 + fi + +-if ! command -v os-prober > /dev/null || ! command -v linux-boot-prober > /dev/null ; then +- # missing os-prober and/or linux-boot-prober ++if [ "x${GRUB_DISABLE_OS_PROBER}" = "xtrue" ]; then ++ grub_warn "$(gettext_printf "os-prober will not be executed to detect other bootable partitions.\nSystems on them will not be added to the GRUB boot configuration.\nCheck GRUB_DISABLE_OS_PROBER documentation entry.")" + exit 0 + fi + |