From https://fedoraproject.org/wiki/Changes/HiddenGrubMenu#Detailed_Description
: run the command "grub2-editenv - unset menu_auto_hide" as root (or via sudo).
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-le...@lists.fedoraproject.org
Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives:
https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org
