On Sat, May 4, 2019 at 5:14 AM Andre Robatino <robat...@fedoraproject.org> wrote: > > From > https://fedoraproject.org/wiki/Changes/HiddenGrubMenu#Detailed_Description > : run the command "grub2-editenv - unset menu_auto_hide" as root (or via > sudo).
Oops. I misunderstood the question... _______________________________________________ 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
