A few tips for configuring grub.
Although /etc/default/grub
contains GRUB_DEFAULT=saved
it doesn't
set GRUB_SAVEDEFAULT
so the last grub entry used to boot is not saved. Add
the following to /etc/default/grub
:
GRUB_SAVEDEFAULT="true"
Update the grub config:
sudo grub2-mkconfig -o /boot/efi/EFI/fedora/grub.cfg
Grub config location can vary, fedora is being used in the example above.
Find the location of your grub.cfg
with sudo locate grub.cfg
Well grub doesn't support hidpi displays. To work around this we must convert a font at a desired size into a format that grub can use.
sudo grub2-mkfont -s 48 -o /boot/grub2/consola.pf2 ~/.local/share/fonts/consola.ttf
Add the following to /etc/default/grub
:
GRUB_FONT=/boot/grub2/consola.pf2
Update the grub config:
sudo grub2-mkconfig -o /boot/efi/EFI/fedora/grub.cfg