Cómo cambiar el tipo y tamaño de la fuente predeterminada de GRUB2

Para cambiar el tipo y tamaño de la fuente predeterminada, con la que se muestra GRUB2, deberás seguir éstos sencillos pasos:

• Elegir el tipo y tamaño de la fuente a emplear.
• Convertir la fuente a un formato reconocido por GRUB2.

• $ su -c 'grub2-mkfont --output=/boot/grub2/fonts/DejaVuSans.pf2 --size=16 /usr/share/fonts/dejavu/DejaVuSans.ttf'

• Editar el archivo de configuración de GRUB2:

• $ su -c 'nano /etc/default/grub'

GRUB_FONT=/boot/grub2/fonts/DejaVuSans.pf2

• Por ultimo, actualizar la configuración de GRUB2.

• $ su -c 'grub2-mkconfig -o /boot/grub2/grub.cfg'

En el próximo reinicio del sistema, GRUB2 se mostrará haciendo uso de la nueva fuente tipográfica.

Nota:
En este ejemplo, he utilizado el tipo de fuente DejaVuSans, con un tamaño de 16, pero por supuesto, puedes emplear cualquier otro tipo de fuente y tamaño que desees.