Andre Robatino writes:
From https://fedoraproject.org/wiki/Changes/HiddenGrubMenu#Detailed_Description : run the command "grub2heditenv - unset menu_auto_hide" as root (or via sudo).
Interesting. In F29 and before, apparently all that's needed is GRUB_TIMEOUT=5 in /etc/default/grubThat, apparently was all that's needed. After perusing grub2-editenv's man page, I have verified that I do have a /boot/grub2/grubenv, which is mostly sparse.
pgp_sFXrstC45.pgp
Description: PGP signature
_______________________________________________ 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
