Ubuntu
grub2 package

  1. Bug #1269992
  2. Comment #9

Comment 9 for bug 1269992

Revision history for this message
Edwin Pujols (edwinpm5) wrote :

Here's my /etc/default/grub, I think it's quite standard. I tried with hidden timeout commented out, too. And ran `update-grub` to save changes before restarting the machine. (After restarting the menu is shown with a 10 second timeout.)