On Sat, May 4, 2019 at 5:14 AM Andre Robatino
<robatino(a)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...