Lorsque Grub démarre, ses messages apparaissent dans une petite police. Comment puis-je agrandir cette police ?
Réponse
Trop de publicités?
kanehekili
Points
2661
Il existe quelques façons d'augmenter la taille de la police grub.
1)Simple:
sudo nano /etc/default/grub
Maintenant, à l'intérieur de la configuration grub, cherchez
#GRUB_GFXMODE = quelquechoseVous pouvez supprimer le dièse initial et entrer une résolution d'écran valide (comme 600x800, en fonction de votre moniteur).
Le principal inconvénient est que votre terminal restera avec cette taille de police, par exemple, toutes les informations sur tty conserveront cette taille,
2) Cherchez un thème grub qui vous convient.
Certains des thèmes auront des polices ou des icônes extra larges.
Vous devrez indiquer à grub d'utiliser ce thème :
GRUB_THEME="/usr/share/path/to/theme"
3) Créez vous-même des polices.
grub-mkfont est un outil qui vous permet de créer vos propres polices. Cela est un peu fastidieux, car vous devez vérifier si vous aimez les polices lors du démarrage de grub.
Entrez dans la configuration grub :
GRUB_FONT="/boot/path/to/fonts"Chaque fois que vous modifiez quelque chose dans grub, n'oubliez pas d'émettre
sudo update-grub
ensuite redémarrez
