make grub respect other OSes

7 months ago · be83e48b9b
1 changed files with 3 additions and 0 deletions
--- a/base/root-overlay/etc/default/grub
+++ b/base/root-overlay/etc/default/grub
@ -48,3 +48,6 @@ GRUB_THEME="/usr/share/grub/themes/artix/theme.txt"
 GRUB_SAVEDEFAULT="true"

 GRUB_DISABLE_LINUX_RECOVERY="true"
+
+# Probe for other installed operating systems
+GRUB_DISABLE_OS_PROBER="false"