¿Se puede personalizar el tamaño de fuente GRUB?

33

Me gustaría reducir el tamaño de la fuente del gestor de arranque GRUB. ¿Es posible y cómo?

fonts grub2 framebuffer Benjamín
fuente

Respuestas:

42

Después de algunas investigaciones basadas en las respuestas de @fpmurphy y @hesse, también basadas en un hilo completo en ubuntuforums y en Fedora Wiki , descubrí cómo reducir el tamaño de fuente de GRUB2.

  1. Elija una fuente, en este ejemplo elegí DejaVuSansMono.ttf
  2. Convierta la fuente en un formato que GRUB entienda:
    sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
  3. Edite el archivo / etc / default / grub agregando una línea:
    GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
  4. Actualice la configuración de GRUB con:
    sudo grub2-mkconfig -o /boot/grub2/grub.cfg
  5. reiniciar.

La resolución de la pantalla GRUB también puede afectar el tamaño de la fuente, más sobre la resolución, etc. en el enlace de ubuntuforums anterior.

Benjamín
fuente
55
Eso es genial. Con un tamaño de 36 px, el gestor de arranque finalmente se ve bien en una pantalla de alta resolución. Funciona también con grub ( grub-mkfont) en lugar de grub2.
BurninLeo
44
¡Gracias! grub-mkfonty grub-mkconfigen mi caso (aunque tengo grub2).
Deleplace
cuando intento ejecutar el grub-mkfontcomando me sale:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph
Aaron N. Brock
1
grub-mkfonty sudo update-grubpara mi en Ubuntu. Perfecto para pantallas HiDPI / 4k
aidan
1
En el sistema UEFI uno usaríagrub2-mkconfig -o /boot/efi/EFI/centos/grub.cfg
scrutari
5

Sí, tanto la fuente como el tamaño de fuente se pueden personalizar. Vea la utilidad grub-mkfont. Se admiten las fuentes de mapa de bits (.pf2) y Truetype (.ttf).

Simplemente haga una búsqueda en Internet en grub-mkfont y rápidamente encontrará varios ejemplos de los pasos necesarios.

fpmurphy
fuente
1
Bien, de hecho, encontré esta documentación, pero de alguna manera necesito update-grub, qué comando parece que no tengo en Fedora 16 (?).
Benjamin
OK, veo en otra parte el equivalente de update-grub es grub2-mkconfig -o /boot/grub2/grub.cfg.
Benjamin
4

En Debian / Ubuntu puede cambiar la resolución predeterminada de GRUB, lo que resulta en fuentes más grandes en el menú de GRUB:

  1. sudo cp -a / etc / default / grub /etc/default/grub.bak
  2. sudo vi / etc / default / grub
  3. Edite la entrada "GRUB_GFXMODE" para adaptarla a su resolución, por ejemplo, 800x600
  4. sudo update-grub
  5. Reinicio: el GRUB se mostrará en el modo que establezca, por ejemplo, 800x600
arunk
fuente
1
Debería ser sudo update-grub, al menos en mi Ubuntu 17.10.
Alan Mimms
1
Tienes razón, es update-grub. Línea 4 actualizada en consecuencia.
Arunk
Este tipo de trabajo funciona a nivel de grub, pero mi pantalla X también tiene un tamaño de 800x600, urgh. (Tarjeta de video Intel, controlador FBDEV, OpenSUSE Leap 15.0)
David Faure
1

Si está buscando una alternativa GUI más simple, puede usar Grub Customiser para cambiar el tamaño de fuente, los colores y el fondo de GRUB.

Juan C. Roldán
fuente