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

Vous voulez la modifier ou présenter comment vous l'avez modifiée ?
Répondre
Avatar du membre
jlb
Membre émérite
Membre émérite
Messages : 2722
Enregistré(e) le : mer. 11 avr. 2018 08:31
Localisation : Hautes-Pyrénées (65)
Nb de « J’aime » donnés: 312
Nb de « J’aime » reçus: 1338
A remercié : 457 fois
A été remercié(e) : 859 fois

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

Message n° 1


Message par 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à ! 🙃
Vous n’avez pas les permissions nécessaires pour voir les fichiers joints à ce message.
Modifié en dernier par jlb le jeu. 7 mars 2024 07:29, modifié 6 fois.
1 J'aime ce message
“It’s easy when you know how.” 
Avatar du membre
roger
Administrateur
Administrateur
Messages : 2469
Enregistré(e) le : mer. 4 avr. 2018 15:54
Localisation : Normandie ( Orne )
Système(s) d'exploitation : Mes systèmes d'exploitation:
Linux Mint, Cinamon,
LMDE 4 & LMDE 5,
Windows 10 Pro sur SSD

Le tout installé sur 2 SSD et 3 Disques Durs branchés dans ma tour.


LMDE 5 :P
A ma préférence entre autre sur le reste.

Petit secret ci dessous...sur tout mes navigateurs web installés chez moi:
Image
Firefox mon fidèle compagnon.
Webmaster investi je suis obligé bien entendu de tenir compte des navigateurs web que pourraient utiliser ceux qui me font confiance...
Donc bien, entendu j'ai aussi d'autres navigateurs web installés sur mon pc comme ceux ci ci dessous:

Floorp un top du top qui devrait prochainement remplacer mon navigateur adoré!!!
Microsoft Edge
Google Chrome
Chromium
Nb de « J’aime » donnés: 1366
Nb de « J’aime » reçus: 351
A remercié : 832 fois
A été remercié(e) : 217 fois

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

Message n° 2


Message par 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 
 
0 J'aime ce message
La science c'est comme la culture :
On la sème, cultive , récolte ( PAS LE POGNON MAIS LE BOULOT !!! ) et surtout on la partage en commun ...
Répondre

Créer un compte ou se connecter pour rejoindre la discussion

Vous devez être membre pour pouvoir répondre

Créer votre compte

Inscrivez-vous pour rejoindre notre communauté.
Participez aux discussions !
Créez vos propres sujets !

S’enregistrer

Membre déjà inscrit