diff options
author | Mike Swanson | 2023-11-23 10:30:52 -0800 |
---|---|---|
committer | Mike Swanson | 2023-11-23 10:30:52 -0800 |
commit | efdbd41d9dec83a3adc0702615a74ae6cb56451a (patch) | |
tree | ea9e6ad26e0ed3d381c644cb282463629b618636 /grub.default | |
parent | 4b1d92f779474566498f9757e3396d225ff79b7e (diff) | |
download | aur-efdbd41d9dec83a3adc0702615a74ae6cb56451a.tar.gz |
Update to 2:2.12rc1, again bringing it in sync with main repo
Diffstat (limited to 'grub.default')
-rw-r--r-- | grub.default | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/grub.default b/grub.default index 6fd21c7fd223..5af66e3ca829 100644 --- a/grub.default +++ b/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_DISABLE_RECOVERY=true # 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 |