La taille de police GRUB peut-elle être personnalisée?

33

Je voudrais réduire la taille de la police du chargeur de démarrage GRUB. Est-ce possible et comment?

fonts grub2 framebuffer

— Benjoin
source

42

Après quelques recherches basées sur les réponses de @fpmurphy et @hesse, également basées sur un fil de discussion complet sur ubuntuforums et sur Fedora Wiki , j'ai découvert comment réduire la taille de police de GRUB2.

Choisissez une police, dans cet exemple, j'ai choisi DejaVuSansMono.ttf
Convertissez la police dans un format que GRUB comprend:
sudo grub2-mkfont -s 14 -o /boot/grub2/DejaVuSansMono.pf2 /usr/share/fonts/dejavu/DejaVuSansMono.ttf
Modifiez le fichier / etc / default / grub en ajoutant une ligne:
GRUB_FONT=/boot/grub2/DejaVuSansMono.pf2
Mettez à jour la configuration GRUB avec:
sudo grub2-mkconfig -o /boot/grub2/grub.cfg
redémarrer.

La résolution de l'affichage GRUB peut également affecter la taille de la police, plus sur la résolution, etc. sur le lien ubuntuforums ci-dessus.

— Benjoin
source

5

C'est super. Avec une taille de 36 pixels, le chargeur de démarrage semble enfin bien sur un écran haute résolution. Fonctionne également avec grub ( grub-mkfont) au lieu de grub2.

— BurninLeo

4

Merci! grub-mkfontet grub-mkconfigdans mon cas (bien que j'aie grub2).

— Deleplace

lorsque j'essaie d'exécuter la grub-mkfontcommande, j'obtiens:Freetype Error 21 loading glyph 0x2c7 for U+0x33f: invalid composite glyph

— Aaron N. Brock

1

grub-mkfontet sudo update-grubpour moi sur Ubuntu. Parfait pour les écrans HiDPI / 4K

— aidan

1

Sur le système UEFI, on utiliseraitgrub2-mkconfig -o /boot/efi/EFI/centos/grub.cfg

— scrutari

5

Oui, la police et la taille de police peuvent être personnalisées. Voir l'utilitaire grub-mkfont. Les polices Bitmap (.pf2) et Truetype (.ttf) sont prises en charge.

Faites simplement une recherche sur Internet sur grub-mkfont et vous trouverez rapidement un certain nombre d'exemples des étapes nécessaires.

— fpmurphy
source

1

Bien sûr, j'ai trouvé cette documentation, mais je dois en quelque sorte update-grub, quelle commande je ne semble pas avoir sur Fedora 16 (?).

— Benjamin

OK, je vois ailleurs l'équivalent de update-grub grub2-mkconfig -o /boot/grub2/grub.cfg.

— Benjamin

4

Dans Debian / Ubuntu, vous pouvez modifier la résolution GRUB par défaut, ce qui entraîne des polices plus grandes dans le menu GRUB:

sudo cp -a / etc / default / grub /etc/default/grub.bak
sudo vi / etc / default / grub
Modifiez l'entrée "GRUB_GFXMODE" pour l'adapter à votre résolution, par exemple 800x600
sudo update-grub
Redémarrer - le GRUB s'affichera dans le mode que vous avez défini, par exemple 800x600

— arunk
source

1

Devrait être sudo update-grub- au moins sur mon Ubuntu 17.10.

— Alan Mimms

1

Vous avez raison, c'est update-grub. Mise à jour de la ligne 4 en conséquence.

— arunk

Ce genre de travail au niveau grub, mais mon écran X a également une taille de 800x600, urgh. (Carte vidéo Intel, pilote FBDEV, OpenSUSE Leap 15.0)

— David Faure

1

Si vous recherchez une alternative GUI plus simple, vous pouvez utiliser Grub Customiser pour modifier la taille de la police, les couleurs et l'arrière-plan de GRUB.

— Juan C. Roldán
source