Difference between revisions of "Translations:Make GRUB menu & boot-up/down fonts bigger/14/es"

Latest revision as of 07:28, 30 April 2023

Information about message (contribute)

This message has no documentation. If you know where or how this message is used, you can help other translators by adding documentation to this message.

Message definition (Make GRUB menu & boot-up/down fonts bigger)

This one requires you to choose a font that you like (mono fonts are easiest to read), I chose DejaVuSansMono20 & here is the command line that creates this font in a GRUB compatible format, in the size that you have chosen & places it in the newly created /boot/grub/fonts directory (its a long command & it is ALL on one line):

This one requires you to choose a font that you like (mono fonts are easiest to read), I chose DejaVuSansMono20 & here is the command line that creates this font in a GRUB compatible format, in the size that you have chosen & places it in the newly created /boot/grub/fonts directory (its a long command & it is ALL on one line):

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):