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?

Norman Ramsey
fuente