Follow-up Comment #2, bug #40853 (project grub):
I'm noticing a similar problem: GRUB_HIDDEN_TIMEOUT is set to 0, GRUB_TIMEOUT
is set to 0.0 (to bypass a check of os-prober which would set it to 10 if set
to 0) and GRUB_TIMEOUT_STYLE is set to menu (but I'm not sure how
GRUB_TIMEOUT_STYLE does affect this all). After executing update-grub and
doing a reboot I would assume that the grub menu will only appear on pressing
shift otherwise it would boot immediately to the default system. But if I'm
keeping shift pressed on booting I will successfully see the line "GRUB
loading." but instead of displaying the menu GRUB boots immediately to the
default system.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?40853>
_______________________________________________
Nachricht gesendet von/durch Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-grub mailing list
Bug-grub@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-grub
