- 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
