On Mon, 2020-11-16 at 13:23 +, Andre Robatino wrote:
> Sorry about that, the command I was actually using was "grub2-editenv - unset
> menu_auto_hide" (from https://fedoraproject.org/wiki/Changes/HiddenGrubMenu
> ), I always have to look that up before using it.
Sorry about what? If you use
Sorry about that, the command I was actually using was "grub2-editenv - unset
menu_auto_hide" (from https://fedoraproject.org/wiki/Changes/HiddenGrubMenu ),
I always have to look that up before using it.
___
users mailing list -- users@lists.fedoraproje
On 16/11/20 10:38 am, Chris Murphy wrote:
On Sun, Nov 15, 2020 at 5:14 AM Stephen Morris wrote:
On 15/11/20 12:26 pm, Andre Robatino wrote:
I have a BIOS Fedora 33-only laptop, and "grub2-editenv - unset auto_hide_menu"
worked on that.
That's interesting. I am running F33 in a VM in VMware P
On Sun, Nov 15, 2020 at 5:14 AM Stephen Morris wrote:
>
> On 15/11/20 12:26 pm, Andre Robatino wrote:
> > I have a BIOS Fedora 33-only laptop, and "grub2-editenv - unset
> > auto_hide_menu" worked on that.
> That's interesting. I am running F33 in a VM in VMware Player and for me
> that command d
On 15/11/20 12:26 pm, Andre Robatino wrote:
I have a BIOS Fedora 33-only laptop, and "grub2-editenv - unset auto_hide_menu"
worked on that.
That's interesting. I am running F33 in a VM in VMware Player and for me
that command did nothing, whereas it worked fine in F32.
regards,
Steve
On 15/11/20 1:20 am, Tom Horsley wrote:
On Sat, 14 Nov 2020 16:00:38 +1100
Stephen Morris wrote:
In Fedora 33 is the only way to get the menu to permanently display to
edit /etc/grub.d/12_menu_auto_hide and change the timeout_style and
timeout settings within the else condition for the fastboot
I have a BIOS Fedora 33-only laptop, and "grub2-editenv - unset auto_hide_menu"
worked on that.
___
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-le...@lists.fedoraproject.org
Fedora Code of Conduct:
https://d
On Sat, 14 Nov 2020 16:00:38 +1100
Stephen Morris wrote:
> In Fedora 33 is the only way to get the menu to permanently display to
> edit /etc/grub.d/12_menu_auto_hide and change the timeout_style and
> timeout settings within the else condition for the fastboot check? I
> currently have the men
