On Mon, 2020-11-16 at 13:23 +0000, 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 HyperKitty you need to manually quote the part you're replying to. It doesn't happen automatically.
poc