Recover loader menu visibility after 9.1
In 9.1 it was decided that grub loader menu is not fancy anymore:
Apparently this:
This results in a smoother boot experience on such systems.
I disagree.
This applies the change suggested in the release notes:
To disable this function and configure the boot loader menu to display by default, use the following command:
# grub2-editenv - unset menu_auto_hide
Edited by Luis Fernandez Alvarez