Comment 38 for bug 1258597

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

This is still present in 17.10.

Isn't a permanent fix for this very old bug straightforward?...

In the file:
    /etc/default/grub

Comment out or remove:
    #GRUB_HIDDEN_TIMEOUT=0
    #GRUB_HIDDEN_TIMEOUT_QUIET=true

Add:
    GRUB_TIMEOUT_STYLE=hidden

Please let me know if I am mistaken about the ease of fixing this?