Commenting out GRUB_HIDDEN_TIMEOUT and GRUB_HIDDEN_TIMEOUT_QUIET in /etc/default/grub works for me.
GRUB_DEFAULT=GRUB_SAVED_DEFAULT #GRUB_HIDDEN_TIMEOUT=10 #GRUB_HIDDEN_TIMEOUT_QUIET= GRUB_TIMEOUT=10 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` #GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" GRUB_CMDLINE_LINUX=""
GRUB_TERMINAL=console
GRUB_GFXMODE=auto
------------------------------------------------------------------------------- NOTE: remember sudo update-grub after above changes. -------------------------------------------------------------------------------
HK
Commenting out GRUB_HIDDEN_TIMEOUT and GRUB_HIDDEN_ TIMEOUT_ QUIET in /etc/default/grub works for me.
GRUB_DEFAULT= GRUB_SAVED_ DEFAULT TIMEOUT= 10 TIMEOUT_ QUIET= R=`lsb_ release -i -s 2> /dev/null || echo Debian` LINUX_DEFAULT= "quiet splash" LINUX=" "
#GRUB_HIDDEN_
#GRUB_HIDDEN_
GRUB_TIMEOUT=10
GRUB_DISTRIBUTO
#GRUB_CMDLINE_
GRUB_CMDLINE_
GRUB_TERMINAL= console
GRUB_GFXMODE=auto
------- ------- ------- ------- ------- ------- ------- ------- ------- ------- ------- -- ------- ------- ------- ------- ------- ------- ------- ------- ------- ------- --
NOTE: remember sudo update-grub after above changes.
-------
HK