Comment 7 for bug 415322

Revision history for this message
Susan Cragin (susancragin) wrote :

Colin -- I've copied part of your announcement here because it addresses my concerns...
"
If you're upset by the boot menu being hidden all of a sudden, then you
should edit /etc/default/grub, comment out the GRUB_HIDDEN_TIMEOUT line, and set GRUB_TIMEOUT to the timeout you want in seconds (say "10"), then run 'sudo update-grub'.
"