GNU/Linux >> Tutoriels Linux >  >> Linux

Comment mettre à l'échelle le menu GRUB sur les écrans 4K

Il y a plusieurs semaines, j'ai installé Kubuntu 20.04 sur mon IdeaPad Y50-70, un ordinateur portable 15,6 pouces un peu vieux mais plutôt capable avec une résolution d'écran 4K. Comme on pouvait s'y attendre, l'appareil n'était pas utilisable dans son mode d'écran natif, et j'ai dû tout agrandir, mettre à l'échelle et tout ça. Au final, j'ai réussi à créer une configuration ergonomiquement confortable, à deux exceptions près :le menu de connexion et le menu de démarrage.

Le premier m'a donné du chagrin, mais j'ai pu le régler. Avec GRUB, il y avait plus de problèmes. Premièrement, le menu ne s'afficherait pas, même si j'avais une configuration à double démarrage en place. Deuxièmement, le menu était minuscule, avec le texte à peine lisible. Je me suis donc lancé dans un voyage de modifications GRUB, d'où ce tutoriel. Laissez-moi vous montrer comment agrandir le menu GRUB sur les écrans HD/UHD.

Solution

Nous savons quel est le problème, donc pas besoin de traîner. La seule chose que vous devriez faire est de lire mon tutoriel GRUB2, car il explique les bases de ce chargeur de démarrage, et comment et où vous pouvez apporter des modifications à sa configuration. Sans cette connaissance, vous pourriez ne pas être à l'aise avec le travail d'aujourd'hui.

Quoi qu'il en soit, sauvegardez puis ouvrez /etc/default/grub dans un éditeur de texte, en tant que root ou sudo. Dans ce fichier, nous allons décommenter plusieurs entrées existantes et en ajouter quelques nouvelles. Ensuite, nous mettrons à jour le menu GRUB, et au prochain redémarrage, tout devrait bien se passer.

...
GRUB_DEFAULT=0
GRUB_TIMEOUT_STYLE=caché
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""
GRUB_GFXMODE=640x480
GRUB_GFXPAYLOAD=garder
GRUB_TERMINAL=gfxterm

L'extrait de texte ci-dessus est tiré de ma configuration GRUB. Plus particulièrement, les entrées importantes incluent :

  • GRUB_GFXMODE - Cela détermine la résolution de votre menu GRUB. Par défaut, GRUB utilise le backend "vbe" et la résolution que vous saisissez doit être prise en charge. Vous pouvez vérifier les résolutions disponibles en accédant à la ligne de commande GRUB (c dans le menu de démarrage) et en exécutant vbeprobe. Veuillez noter que si vous avez activé le démarrage sécurisé, vous n'obtiendrez peut-être aucune sortie. Vous devrez le désactiver pour obtenir les résultats, puis l'activer si vous le souhaitez. Si vous n'êtes pas sûr, utilisez simplement l'option 640 x 480 la plus basique.
  • GRUB_GFXPAYLOAD=keep - Cela indique au chargeur de démarrage le mode graphique avant que le pilote graphique standard ne soit chargé en mémoire. La valeur keep indique à GRUB d'utiliser les mêmes paramètres que ceux définis lors de la séquence de démarrage initiale.
  • GRUB_TERMINAL=gfxterm - Cela indique au bootloader d'utiliser un périphérique graphique pour son entrée et sa sortie.

Syntaxe différente

Si les entrées écrites ci-dessus ne fonctionnent pas pour vous, vous pouvez également essayer des formats légèrement différents, un par un. Effectuez une modification, mettez à jour le menu GRUB, puis redémarrez pour voir si vous obtenez les résultats souhaités. Par exemple, pour le GFXMODE, vous pouvez essayer n'importe laquelle des options (une à la fois !) :

GRUB_GFXMODE=640x480
GRUB_GFXMODE=640x480x16
GRUB_GFXMODE=640x480x32
GRUB_GFXMODE="640x480"
GRUB_GFXMODE="640x480x16"
GRUB_GFXMODE="640x480x32"

  • Vous pouvez également utiliser GRUB_GFXPAYLOAD_LINUX au lieu de GRUB_GFXPAYLOAD, avec/sans guillemets.
  • Vous pouvez également utiliser GRUB_TERMINAL_OUTPUT=gfxterm en plus (ou à la place de) GRUB_TERMINAL=gfxterm.
  • Vous pouvez également utiliser différentes polices, mais cela ne devrait pas être nécessaire.

Mettre à jour le menu GRUB

Maintenant, vous devez mettre à jour le menu. Sur les systèmes basés sur Ubuntu, exécutez simplement :

sudo-update-grub

Il s'agit en fait d'un script wrapper pour la commande que vous utilisez normalement sur Fedora ou openSUSE :

sudo grub2-mkconfig -o /boot/grub/grub.cfg

Remarque :sur certaines distributions, le fichier de configuration GRUB peut se trouver dans le répertoire grub2, et le fichier peut en fait s'appeler grub2.cfg au lieu de grub.cfg.

Redémarrez et profitez d'un menu GRUB de taille normale.

Conclusion

Les nouvelles technologies apportent toujours de nouveaux défis. Mais ensuite, je pense que les écrans 4K existent depuis longtemps. Mon ordinateur portable l'a eu pendant les sept dernières années de son existence. J'aurais supposé que le problème de mise à l'échelle aurait été résolu il y a longtemps. Eh bien.

Si vous trouvez votre menu GRUB trop petit, vous pouvez essayer les étapes ci-dessus pour rendre les entrées affichées plus grandes et réellement utilisables. Commencez par la configuration la plus simple, puis voyez si vous souhaitez voir d'autres réglages, comme l'arrière-plan, la taille et le type de police, etc. Assurez-vous de sauvegarder votre configuration, donc si quelque chose revient, vous pouvez rapidement et facilement revenir en arrière. Et nous en avons fini ici.


Linux
  1. Façons de sauver Grub ou de récupérer le menu Grub

  2. Comment mettre à l'échelle l'écran de connexion Plasma sur les écrans HD/UHD

  3. Comment activer Broadcom Wireless sur Manjaro

  4. Comment faire apparaître le menu Grub ?

  5. Comment changer le nom du système d'exploitation en toute sécurité dans le menu de démarrage Grub ?

Comment ajouter et épingler des applications personnalisées dans Plasma

Comment désinstaller les applications WINE

Le menu Plasma ne se met plus à jour ? Solution.

Comment protéger GRUB avec un mot de passe sous Linux ?

CentOS / RHEL 7 :Comment protéger par mot de passe les entrées du menu GRUB2

Comment faire une capture d'écran du menu ?