On 5/3/19 8:30 PM, Sam Varshavchik wrote:
In F29 and before, apparently all that's needed is
GRUB_TIMEOUT=5
in /etc/default/grub
That might still work. You need to regenerate the grub config file
after changing anything in there.
That, 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.
Everyone has that file, I think it's required.