Comment 26 for bug 1258597

Revision history for this message
Martin Guy (martinwguy) wrote : Re: Warning: Setting GRUB_TIMEOUT to a non-zero value when GRUB_HIDDEN_TIMEOUT is set is no longer supported.

Hi folks
  The settings for /etc/default/grub to get the same behaviour as the old version are:

GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=2
GRUB_TIMEOUT_STYLE=hidden

best

    M