Translations:Make GRUB menu & boot-up/down fonts bigger/18/es

Salve el archivo editado & luego ingrese lo siguiente en la terminal: