Grub

Il y a un logiciel dont personne ne se soucie, c’est le bootloader.

Mais ce n’est pas mon cas et je vais changer ce triste menu de Grub en un menu plus joyeux.

Pour commencer, le fichier de configuration à éditer se trouve dans /etc/default/grub

Les paramètres que j’ai édités sont :

• GRUB_GFXMODE=1920x1080x32,1280x720x32,auto

Il définit la résolution à 1920x1080 en couleurs 32bits et si ce n’est pas possible, il utilisera 1280x720 et si aucun de ces paramètres ne fonctionne, il sélectionnera une résolution qui fonctionne (auto).

• GRUB_GFXPAYLOAD_LINUX=keep

Il règle le noyau pour qu’il utilise la même résolution que grub.

• GRUB_BACKGROUND="/boot/grub/boot.png"

Demande à grub d’utiliser un fond d’écran situé dans /boot/grub/boot.png ; il accepte aussi les jpeg mais je préfère les png.

Vous pouvez aussi changer la couleur du texte :

• GRUB_COLOR_NORMAL=“bleu clair/noir”
• GRUB_COLOR_HIGHLIGHT=“bleu-cyan clair/bleu”

Ou changer la police de caractères :

• GRUB_FONT="/boot/grub/fonts/myfont.pf2"

Si nécessaire, vous pouvez afficher la liste des polices installées fc-list et vous convertissez une police en une police grub via la commande suivante :

grub-mkfont -s 24 -o /boot/grub/fonts/myfont.pf2 /usr/share/fonts/ttf-linux-libertine/LinLibertine_M.otf

Une fois que vous avez fini vos modifications dans le fichier de configuration, vous devez traiter le fichier avec la commande :

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

Et voilà :)

Si besoin est, voici le lien vers la documentation en ligne de Grub : Grub Online Documentation.