Embellir le menu de démarrage Grub

Nov 11, 2023

—

Créer une image de fond en 280×1024 et la copier dans /boot/grub
Créer une police de caractère
Utiliser Grub Customizer puis finaliser à la main

1) Générer des polices de caractères dans /boot/grub/fonts plus grandes, plus jolies :

sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono24.pf2 --size=24 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf

sudo grub-mkfont --output=/boot/grub/fonts/DejaVuSansMono30.pf2  --size=30 /usr/share/fonts/truetype/dejavu/DejaVuSansMono.ttf

sudo grub-mkfont --output=/boot/grub/fonts/Ubuntu24.pf2  --size=24 /usr/share/fonts/truetype/ubuntu/Ubuntu-B.ttf

2) Installer grub-customizer :

sudo add-apt-repository ppa:danielrichter2007/grub-customizer 
sudo apt-get update && sudo apt-get install grub-customizer

3) Insérer une police de caratères (générée plus haut)
Ajouter la ligne à la fin du fichier grub : ./Etape5-Param-Grub-Menu.sh :

sudo cp /etc/default/grub /etc/default/grub.old
sudo nano /etc/default/grub
sudo update-grub

Exemple de dernières lignes du fichier /etc/default/grub :

export GRUB_MENU_PICTURE="/home/pjm/Images/1P-Fond-Ecran-Grub.jpg"
export GRUB_COLOR_NORMAL="white/black"
export GRUB_COLOR_HIGHLIGHT="red/yellow"
GRUB_FONT=/boot/grub/fonts/Ubuntu24.pf2