Table of Contents

Boot GRUB Customisé

Choisir un thème pour GRUB sur gnome-look.org

Bibliothèque de theme GRUB

Par exemple celui-ci

Distro Grub Themes

Certains thèmes ont un installeur intégré avec un script .sh.

Installation Manuel d'un thème

Récupération du thème

Créer le répertoire “themes” dans le répertoire de GRUB ainsi qu'un sous répertoire avec le nom du theme

sudo mkdir -p /boot/grub/themes
sudo mkdir -p /boot/grub/themes/nom_du_theme

Décomprpéssion du thème dans le répertoire temporaire du système

cd /tmp/
tar xvf ~/Téléchargements/theme.tar.xz

Exemple :

cd /tmp
tar xvf ~/Téléchargements/arch_linux.tar

Copier le thème exporter en tmp dans le nouveau repertoire grub du theme

sudo cp -r /tmp/theme/* /boot/grub/themes/arch-linux/

Il est possible que chown n'est pas possible meme en root.

Vérifier si /boot est monter en read-only

mount | grep /boot

Unmount la partition de boot pour la remonter avec des droits temporairement, pas besoin de toucher à /etc/fstab

Configuration de GRUB

faire une backup du fichier de conf GRUB

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

Enlever le commentaire de GRUB_THEME dans le fichier de configuration avec le theme.txt du nouveau theme.

sudo nano /etc/default/grub

Mettre à jour la configuration de GRUB pour l'appliquer

Pour DEBIAN/UBUNTU

sudo update-grub

Pour ARCHLINUX

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