The first issue is that the current /etc/default/grub config file lacks a GRUB_HIDDEN_TIMEOUT entry. Without that entry the scripts failed to include proper code that hides the boot menu when desired.
Since this is optional, the entry should be included commented, like this: @@ -7,6 +7,9 @@ GRUB_CMDLINE_LINUX_DEFAULT="quiet" GRUB_CMDLINE_LINUX="" +# Uncomment to enable Hidden Menu +#GRUB_HIDDEN_TIMEOUT=5 + # Uncomment to disable graphical terminal (grub-pc only) #GRUB_TERMINAL=console The patch included adds the entry commented as specified previously. Again without this entry, current or suggested scripts will fail to generate the hidden menu when desired.
hidden_timeout_config.patch
Description: Binary data
