Thème GRUB : personnaliser GRUB

GRUB, acronyme de GRand Unified Bootloader, est le chargeur de démarrage par défaut de la plupart des systèmes d’exploitation Linux. Le chargeur de démarrage GRUB est le premier programme qui s’exécute au démarrage de l’ordinateur. Comme vous l’avez peut-être remarqué, le thème par défaut du menu GRUB est fade. Il s’agit simplement d’un fond noir avec des caractères blancs. Certains d’entre vous n’aiment peut-être pas le thème par défaut de GRUB.

Dans ce tutoriel, je vais vous montrer comment changer le thème de GRUB ou appliquer des thèmes magnifiques afin de rendre votre menu GRUB plus beau et plus élégant sous Linux.

Comment installer un thème GRUB

Via un script install.sh

Tout d’abord, ouvrez le site Gnome-look :

Gnome-look.org

Naviguez sur le site pour trouver un thème qui vous plaît
Cliquez à droite sur le bouton Download et téléchargez la version qui vous convient

Ensuite on décompresse l’archive du thème dans le dossier temporaire :

cd /tmp/
tar xvf ~/Téléchargements/xenlism-grub-1080p-Debian.tar.xz

Puis on entre dans le dossier :

cd xenlism-grub-1080p-Debian/

Vérifiez de la présence d’un script d’installation en listant les fichiers présents avec la commande ls :

ls

Si aucun script d’installation n’est disponible, utiliser la méthode “manuellement” du paragraphe suivant.

Ensuite on exécute le script pour installer le thème GRUB :

sudo ./install.sh

Dans la sortie de la commande de mise à jour de Grub (update-grub), la ligne avec le thème doit apparaître :

Manuellement

Tout d’abord, ouvrez le site Gnome-look :

Gnome-look.org

Naviguez sur le site pour trouver un thème qui vous plaît
Cliquez à droite sur le bouton Download et téléchargez la version qui vous convient

On décompresse l’archive du thème :

cd /tmp/
tar xvf ~/Téléchargements/xenlism-grub-1080p-Debian.tar.xz

On créé un répertoire pour stocker les thèmes dans le dossier de GRUB

sudo mkdir /boot/grub/themes

Puis on copie les fichiers du thème :

sudo cp -r /tmp/xenlism-grub-1080p-Debian/Xenlism-Debian /boot/grub/themes/xenlism

On corrige les permissions avec chown :

sudo chown $USER -R /boot/grub/themes/

Pour plus de sécurité, on sauvegarde le fichier de configuration de grub avant modification :

sudo cp /etc/default/grub /etc/default/grub.bak

Ensuite, éditez le fichier de configuration avec l’éditeur de texte nano :

sudo nano /etc/default/grub

Puis ajoutez les lignes suivantes en modifiant le répertoire du thème par rapport à votre installation :

[...]
GRUB_THEME=/boot/grub/themes/xenlism/theme.txt
GRUB_GFXMODE=1920x1200
[...]

Enfin mettez à jour la configuration GRUB :

sudo update-grub

Redémarrez l’ordinateur pour admirer le résultat

Comment supprimer un thème GRUB

Vous pouvez supprimer le thème GRUB assez facilement en effectuant la procédure inverse.
Il suffit :

d’éditer le fichier /etc/default/grub et supprimer les entrées GRUB_THEME et GRUB_GFXMODE
relancez la commande update-grub
supprimer le répertoire /boot/grub/themes

Là aussi certains script vous permette de supprimer le thème via leur script d’installation mais pas tous.
Pour supprimer un thème installé, allez dans le répertoire cloné du projet :