Ubuntu
grub2 package

  1. Precise (12.04)
  2. Bug #1178618
  3. Comment #23

Comment 23 for bug 1178618

Revision history for this message
Colin Watson (cjwatson) wrote : Re: [Bug 1178618] Re: --hotkey option does not work when the menu is hidden

Sounds good, thanks. Note that if you're using GRUB_TIMEOUT_STYLE, then
GRUB_HIDDEN_TIMEOUT is supposed to be ignored; once GRUB_TIMEOUT_STYLE
is set to indicate that we're in the new world, we use GRUB_TIMEOUT
consistently.