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 :

• 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

• 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 :

• 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 :

cd grub2-themes/

Et exécutez :

sudo ./install.sh -r -t <nom du thème>