La taille de police GRUB peut-elle être personnalisée?
Je voudrais réduire la taille de la police de GRUB boot loader. Est-ce possible et comment?
Après quelques recherches basées sur les réponses de @fpmurphy et @hesse, également basées sur un fil de discussion complet sur buntuforums et sur Fedora Wiki , j'ai découvert comment réduire la taille de la police de GRUB2.
- Choisissez une police, dans cet exemple, j'ai choisi DejaVuSansMono.ttf
- Convertissez la police dans un format 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 - Mettre à jour la configuration GRUB avec:
Sudo grub2-mkconfig -o /boot/grub2/grub.cfg - redémarrer.
La résolution de GRUB display peut également affecter la taille de la police, plus sur la résolution, etc. sur le lien ubuntuforums ci-dessus.
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.
Dans Debian/Ubuntu, vous pouvez modifier la résolution par défaut GRUB, 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" en fonction de 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
Si vous cherchez une alternative GUI plus simple, vous pouvez utiliser Grub Customiser pour changer la taille de la police, les couleurs et l'arrière-plan de GRUB.