[TIP] Comment adapter le menu de démarrage aux résolutions d'écran élevées

[jlb]

La résolution de l'écran de mon nouvel ordinateur étant supérieure à celle du précédent, j'ai eu la mauvaise surprise de découvrir que le menu de GRUB — le premier attrait perceptible de Zorin — est tout petit sur un écran de 1920 x 1080. En fait, il semble avoir été optimisé pour une résolution de 1024 x 768.
        
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>

Elle placera dans le répertoire de GRUB une copie ".pf2" de votre police à la taille voulue. 
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 :

theme.png

Commencez par celles-ci :

• left = 50%-300  (la moitié de la largeur)  
  
• width = 600
  
• icon_width = 48
  
• icon_height = 48
  

Enregistrez.



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à !

[roger]

Un excellent tutoriel pour ceux qui comme moi adore customiser leur menu de démarrage où simplement comme c'est le cas du tutoriel adapter ce menu en fonction de la taille de leur écran.

Merci @jlb