Outils du site


Modifier l'apparence de Grub2 sous Debian Jessie

Astuce donnée par P'skhal

Ici sur le forum https://hyliatyde.space/forum/viewtopic.php?id=205


LE TEXTE

La première chose que l'on peut facilement modifier dans Grub, c'est le texte. Pour changer la fonte, se reporter à un fond d'écran pour Grub sous Linux Mint 18

Concernant les couleurs, plusieurs possibilités s'offrent à nous. La plus simple est la création d'un fichier custom.cfg dans le dossier /boot/grub. En effet, cette méthode a l'avantage de ne pas nécessiter de lancer update-grub.

Dans ce fichier custom.cfg, 4 couples de couleurs peuvent être spécifiés pour supplanter les couleurs par défaut :

  • color_normal : les couleurs “ordinaires”
  • color_highligh : les couleurs pour le surlignement (dans le mode options avancées)
  • menu_color_normal : les couleurs du menu pour les lignes non sélectionnées
  • menu_color_highlight : les couleurs pour la sélection du menu principal

Pour chaque couple, on désigne une couleur d'avant-plan et une couleur d'arrière-plan.

Attention : la couleur d'arrière-plan black est considérée comme transparente en présence d'une image de fond.

Exemple de fichier custom.cfg :

set color_normal=yellow/black
set color_highlight=brown/light-cyan
set menu_color_highlight=yellow/black
set menu_color_normal=light-red/black

Ces couleurs sont prises dans la liste : black, blue, brown, cyan, dark-gray, green, light-cyan, light-blue, light-green, light-gray, light-magenta, light-red, magenta, red, white, yellow.

Pour les essais, nul besoin de rebooter sans cesse :-P, il suffit de se placer en mode commande dans grub (touche c) et de saisir, par exemple :

grub > set color_normal=red/green

L'effet est immédiat.


L'IMAGE

Autre modification possible : l'image de fond de Grub. Là encore, plusieurs possibilités. Le fonctionnement du démarrage de Grub est régit par les scripts du répertoire /etc/grub.d, dont 05_debian_theme pour l'aspect.

On y apprend, entre autre, que l'image peut être aux formats jpeg, png ou tga.

Par ailleurs, en l'absence de directive explicite GRUB_BACKGROUND=chemin_vers_image dans le fichier /etc/default/grub, la priorité est donnée à la première image trouvée dans /boot/grub avec par ordre d'extenson : jpg, JPG, jpeg, JPEG, png, PNG, tga, et TGA.

C'est cette solution que j'ai adoptée en plaçant tout simplement mon_image.png dans le répertoire /boot/grub.

J'ai pris une image à la résolution maximum indiquée dans la liste :

grub > vbeinfo

Je ne me suis donc pas préoccupé de la directive GRUB_GFXMODE du fichier /etc/default/grub.
Cette fois-ci, il est indispensable de régénérer le fichier /boot/grub/grub.cfg par la commande :

update-grub
image found mon_image.png
...

Si vous n'avez pas d'image en vue, vous pouvez toujours installer le paquet grub-splashimages :

apt-get install grub-splashimages

dont voici un aperçu de quelques fonds disponibles :


Un aperçu du résultat

Le menu principal :

Le mode édition :

Le mode options avancées :


Liens