diff options
Diffstat (limited to 'debian/patches/reenable_os-prober.patch')
-rw-r--r-- | debian/patches/reenable_os-prober.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/reenable_os-prober.patch b/debian/patches/reenable_os-prober.patch new file mode 100644 index 0000000..04ed937 --- /dev/null +++ b/debian/patches/reenable_os-prober.patch @@ -0,0 +1,15 @@ +diff --git a/util/grub-mkconfig.in b/util/grub-mkconfig.in +index f8cbb8d7a..a6d1e2d22 100644 +--- a/util/grub-mkconfig.in ++++ b/util/grub-mkconfig.in +@@ -140,8 +140,8 @@ GRUB_DEVICE_PARTUUID="`${grub_probe} --device ${GRUB_DEVICE} --target=partuuid 2 + GRUB_DEVICE_BOOT="`${grub_probe} --target=device /boot`" + GRUB_DEVICE_BOOT_UUID="`${grub_probe} --device ${GRUB_DEVICE_BOOT} --target=fs_uuid 2> /dev/null`" || true + +-# Disable os-prober by default due to security reasons. +-GRUB_DISABLE_OS_PROBER="true" ++# Enable os-prober by default for stable updates, let's not break expectations ++GRUB_DISABLE_OS_PROBER="false" + + # Filesystem for the device containing our userland. Used for stuff like + # choosing Hurd filesystem module. |