On Mon, 21 Dec 2020 16:20:36 -0000 (UTC) Amadeus WM via users wrote: > looks like > > sudo grub2-editenv - unset menu_auto_hide > > should disable it.
No doubt it should, but absolutely everything I tried would not work consistently until I got out the big hammer. There are 47 million GRUB_xxx settings you can put in /etc/default/grub, why GRUB_SHOW_ME_THE_MENU isn't one, I have no idea :-). _______________________________________________ users mailing list -- users@lists.fedoraproject.org To unsubscribe send an email to users-le...@lists.fedoraproject.org Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org
