1

GRUB hidden menu not working

view story
linux-howto

http://askubuntu.com – The hidden menu option isn't working. I have /etc/default/grub configured as follows: GRUB_DEFAULT=0 GRUB_HIDDEN_TIMEOUT=10 GRUB_HIDDEN_TIMEOUT_QUIET=true GRUB_TIMEOUT=5 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDLINE_LINUX="" Any suggestions would be greatly appreciated! (HowTos)