On Mon, 21 Dec 2020 16:20:36 - (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
On Mon, 21 Dec 2020 10:49:44 -0500, Tom Horsley wrote:
> On Mon, 21 Dec 2020 15:36:25 - (UTC)
> Amadeus WM via users wrote:
>
>> Do I need to enable the boot menu somehow, and how?
>
> I tried many things to make it *always* appear, the only one that
> finally worked was a perl script to edi
On Mon, 21 Dec 2020 11:41:17 -0400, Jorge Fábregas wrote:
> On 12/21/20 11:36 AM, Amadeus WM via users wrote:
>> Do I need to enable the boot menu somehow, and how?
>
> You need to press F8 or keep SHIFT pressed (after turning computer on).
> This was recently changed...you can read more about i
On Mon, 21 Dec 2020 15:36:25 - (UTC)
Amadeus WM via users wrote:
> Do I need to enable the boot menu somehow, and how?
I tried many things to make it *always* appear, the only one that
finally worked was a perl script to edit the $#@! grub.cfg file
and modify every single occurrence of "set
On 12/21/20 11:36 AM, Amadeus WM via users wrote:
> Do I need to enable the boot menu somehow, and how?
You need to press F8 or keep SHIFT pressed (after turning computer on).
This was recently changed...you can read more about it here:
https://fedoraproject.org/wiki/Changes/HiddenGrubMenu
--
In Fedora 33 I noticed the boot menu is not being displayed anymore, so
obviously I have no way of selecting which kernel / os to boot.
On the machine where this is happening F33 is the only OS I have, no dual
boot, nothing, so it hasn't been a big issue so far, but I'd like to have
this featu
