On Sat, May 4, 2019 at 5:14 AM Andre Robatino <robatino@xxxxxxxxxxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx
