Me acaban de actualizar a la fuerza a Grub 2 y tengo problemas porque las fuentes en el menú de GRUB son feas y pequeñas. He configurado con éxito la resolución de pantalla con
GRUB_GFXMODE=1920x1200x32
en mi /etc/grub/defaultarchivo e intenté configurar la fuente con
GRUB_FONT=/boot/grub/DejaVuSansMono48.pf2
donde creé la fuente en cuestión usando grub-mkfont.
La resolución nativa funciona muy bien, pero desafortunadamente la fuente no. Estoy pensando que tal vez esto afecta la fuente que se usa una vez que se inicia el sistema operativo, pero definitivamente no afecta la fuente en el menú de arranque de GRUB.
¿Cómo puedo obtener una fuente más grande en el menú de arranque de GRUB?