È possibile personalizzare la dimensione del carattere di Grub?

Vorrei ridurre la dimensione del carattere del boot loader di GRUB. È possibile e quindi come?

Risposta accettata:

Dopo alcune ricerche basate sulle risposte di @fpmurphy e @hesse, basate anche su un thread completo su ubuntuforums e su Fedora Wiki, ho scoperto come ridurre la dimensione del carattere di GRUB2.

1. Scegli un font, in questo esempio ho scelto DejaVuSansMono.ttf
2. Convertire il carattere in un formato compreso da GRUB:
   sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
3. Modifica /etc/default/grub file aggiungendo una riga:
   GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
4. Aggiorna la configurazione di GRUB con:
   • BIOS:sudo grub2-mkconfig -o /boot/grub2/grub.cfg
   • EFI:sudo grub2-mkconfig -o /boot/efi/EFI/{distro}/grub.cfg # distro on RHEL8 is {'redhat'}
5. riavvia.

La risoluzione del display di GRUB può anche influenzare la dimensione del carattere, più sulla risoluzione ecc. sul link ubuntuforum sopra.