¿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

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.

Elija una fuente, en este ejemplo elegí DejaVuSansMono.ttf
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
Edite el archivo / etc / default / grub agregando una línea:
GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
Actualice la configuración de GRUB con:
sudo grub2-mkconfig -o /boot/grub2/grub.cfg
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:

sudo cp -a / etc / default / grub /etc/default/grub.bak
sudo vi / etc / default / grub
Edite la entrada "GRUB_GFXMODE" para adaptarla a su resolución, por ejemplo, 800x600
sudo update-grub
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