On Fri, 03 May 2019 23:30:29 -0400
Sam Varshavchik wrote:

> In F29 and before, apparently all that's needed is
> 
> GRUB_TIMEOUT=5
> 
> in /etc/default/grub

Right. Every customization is located in /etc/default/grub
until now :-(.

I did go through the grub2 info file and read all the
descriptions of all the GRUB_* settings to influence
the way grub worked, and none of them would make it
always show the menu (though it sometimes showed the
menu anyway, which was very confusing).

Changing grubenv does seem to work. I've now got an rc.local
to change it every time I boot just in case some other
helpful feature changes it back :-).
_______________________________________________
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

Reply via email to