Grub on HiDPI screen
Inspired by the blog post Increase Font in GRUB for High DPI Screens from Ward Muylaert. I decided to try to make it work under Fedora 32 on a system which uses EFI boot.
First make the font compatible for grub: $ grub2-mkfont /usr/share/fonts/dejavu-sans-mono-fonts/DejaVuSansMono.ttf --size=48 --output=/boot/efi/EFI/fedora/fonts/DejaVuSansMono48.pf2
Next update the grub configuration: $ sudo grub2-mkconfig -o /etc/grub2-efi.cfg
Strictly speaking not required, how-ever I like to keep the files in sync: $ sudo grub2-mkconfig -o /etc/grub2.cfg
Alter content of file:/etc/default/grub to include font reference. The GRUB_TERMINAL_OUTPUT is optional, it should be included by default when specifying a new font.
#GRUB_TERMINAL_OUTPUT="console" GRUB_TERMINAL_OUTPUT="gfxterm" GRUB_FONT=/boot/efi/EFI/fedora/fonts/DejaVuSansMono48.pf2