Si c'est aussi votre cas, je vous montre comment y remédier.
1. Création de la police
Vous pouvez bien sûr conserver la police "unicode" d'origine si elle vous convient, mais tant qu'à faire, pourquoi ne pas en changer ?
Lancez "gnome-font-viewer" alias "Polices" et choisissez-en une qui vous plaise parmi toutes celles qui sont installées.
Privilégiez toutefois la netteté sur l'esthétique : en effet GRUB utilise un affichage et un format de police très pixelisés qui ne rendront pas forcément justice à celle que vous aurez choisie.
Dans les deux cas, il faudra l'agrandir.
Lancez le terminal (CTRL Alt t) et entrez cette ligne après l'avoir modifiée en fonction de vos désirs :
Code : Tout sélectionner
sudo grub-mkfont -s <taille souhaitée> -o /boot/grub/<police grub> /usr/share/fonts/<répertoire>/<police à transformer>
J'ai ainsi transformé la police "NotoSans-Regular.ttf" en "NotoSans-Regular.ps2" de 20 points :
Code : Tout sélectionner
sudo grub-mkfont -s 20 -o /boot/grub/NotoSans-Regular.pf2 /usr/share/fonts/truetype/noto/NotoSans-Regular.ttf
2. Déclaration de la nouvelle police
Éditez le fichier de configuration principal de GRUB :
Code : Tout sélectionner
sudo gedit /etc/default/grub
Ajoutez ces trois lignes à la fin en les adaptant à votre configuration — la rubrique "Ecrans" des "Paramètres" vous donnera la résolution de votre écran si vous ne la connaissez pas :
Code : Tout sélectionner
GRUB_FONT=/boot/grub/<votre-police.pf2>
GRUB_GFXMODE="<résolution de votre écran>x32"
GRUB_GFXPAYLOAD_LINUX="keep"
A titre d'exemple, j'ai déclaré "1920x1080x32" (entre guillemets).
3. Mise à jour de GRUB
Elle recréera le fichier de configuration du menu "/boot/grub/grub.cfg" en intégrant les nouveaux paramètres :
Code : Tout sélectionner
sudo update-grub
4. Modification du thème du menu
Puisque la police a été agrandie, il faut élargir la fenêtre d'affichage pour que les entrées du menu ne soient pas rognées comme le titre du "Guépard" sur un écran de télé.
On agrandira aussi les logos des OS pour l'harmonie de l'ensemble.
Éditez le thème du menu de Zorin :
Code : Tout sélectionner
sudo gedit /usr/share/grub/themes/zorin/theme.txt
Dans la section "boot_menu", modifiez ces quatre valeurs pour élargir la zone de texte et agrandir un peu les logos :
Commencez par celles-ci :
- left = 50%-300 (la moitié de la largeur)
- width = 600
- icon_width = 48
- icon_height = 48
Il vous reste plus qu'à redémarrer pour vérifier le résultat.
En fonction de la taille de la police, vous devrez peut-être procéder à quelques ajustements :
- S'ils ne concernent que la largeur du menu, éditez seulement le thème de GRUB (4).
- Si vous modifiez la taille de la police, reprenez les étapes 1 et 4.
- Si vous changez de police, recommencez tout.
Et voilà !