¿Se puede personalizar el tamaño de fuente de Grub?

Me gustaría reducir el tamaño de la fuente del cargador de arranque GRUB. ¿Es posible y cómo?

Respuesta aceptada:

Después de algunas investigaciones basadas en las respuestas de @fpmurphy y @hesse, también basadas en un hilo completo en ubuntuforums y en Fedora Wiki, descubrí cómo reducir el tamaño de fuente de GRUB2.

1. Elija una fuente, en este ejemplo elegí DejaVuSansMono.ttf
2. Convierta la fuente en un formato que GRUB comprenda:
   sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
3. Editar /etc/default/grub archivo añadiendo una línea:
   GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
4. Actualice la configuración de 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. reiniciar.

La resolución de la pantalla de GRUB también puede afectar el tamaño de la fuente, más sobre la resolución, etc. en el enlace de ubuntuforums anterior.