From 76ea3ce514b13aa1455afce29e7e2de1de6b42ea Mon Sep 17 00:00:00 2001 From: Salt Date: Tue, 25 Aug 2020 03:11:23 -0500 Subject: [PATCH] Work on GRUB configs --- roles/desktop-common/templates/grubconfig | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/roles/desktop-common/templates/grubconfig b/roles/desktop-common/templates/grubconfig index fea0dbd..bf95809 100644 --- a/roles/desktop-common/templates/grubconfig +++ b/roles/desktop-common/templates/grubconfig @@ -5,12 +5,17 @@ # info -f grub -n 'Simple configuration' GRUB_DEFAULT=0 +GRUB_HIDDEN_TIMEOUT=0 +GRUB_HIDDEN_TIMEOUT_QUIET="true" +GRUB_TIMEOUT=0 GRUB_TIMEOUT_STYLE=hidden -GRUB_TIMEOUT=1 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDLINE_LINUX="" +# Work around probing for other OSs resetting timeout +GRUB_DISABLE_OS_PROBER="true" + # Uncomment to enable BadRAM filtering, modify to suit your needs # This works with Linux (no patch required) and with any kernel that obtains # the memory map information from GRUB (GNU Mach, kernel of FreeBSD ...)