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?
This is still present in 17.10.
Isn't a permanent fix for this very old bug straightforward?...
In the file: default/ grub
/etc/
Comment out or remove: HIDDEN_ TIMEOUT= 0 HIDDEN_ TIMEOUT_ QUIET=true
#GRUB_
#GRUB_
Add: TIMEOUT_ STYLE=hidden
GRUB_
Please let me know if I am mistaken about the ease of fixing this?