Translations:Make GRUB menu & boot-up/down fonts bigger/14/es
From Manjaro
Esto requiere que escoja una fuente que le guste (fuentes mono son las mas fáciles de leer), yo escogí DejaVuSansMono20 y aquí está la linea de comandos que crea esta fuente en formato compatible con GRUB, en el tamaño que usted ha escogido & lo coloca en el directorio recién creado /boot/grub/fonts (es un comando largo & es todo en una línea):