summaryrefslogtreecommitdiff
path: root/libre/grub/grub.default
diff options
context:
space:
mode:
Diffstat (limited to 'libre/grub/grub.default')
-rw-r--r--libre/grub/grub.default8
1 files changed, 7 insertions, 1 deletions
diff --git a/libre/grub/grub.default b/libre/grub/grub.default
index 886146690..6271d8dc0 100644
--- a/libre/grub/grub.default
+++ b/libre/grub/grub.default
@@ -24,7 +24,7 @@ GRUB_TERMINAL_INPUT=console
# The resolution used on graphical terminal
# note that you can use only modes which your graphic card supports via VBE
-# you can see them in real GRUB with the command `vbeinfo'
+# you can see them in real GRUB with the command `videoinfo'
GRUB_GFXMODE=auto
# Uncomment to allow the kernel use the same resolution used by grub
@@ -55,3 +55,9 @@ GRUB_COLOR_HIGHLIGHT="white/magenta"
# Uncomment to disable submenus in boot menu
#GRUB_DISABLE_SUBMENU=y
+
+# Probing for other operating systems is disabled for security reasons. Read
+# documentation on GRUB_DISABLE_OS_PROBER, if still want to enable this
+# functionality install os-prober and uncomment to detect and include other
+# operating systems.
+#GRUB_DISABLE_OS_PROBER=false