Depuis des années, je teste en machine virtuelle de nombreuses distributions GNU/Linux. La plupart d’entre elles, que ce soit des DGLFI ou des distributions aux fondements plus solides personnalise l’apparence du grub, l’outil qui est lancé en premier quand on utilise une distribution GNU/Linux.
Il faudra m’expliquer en quoi personnaliser Grub est si important que cela. La plupart du temps, le compte à rebours avant le chargement du noyau par défaut est de 5 secondes.
Autant dire que créer un fond d’écran pour 5 secondes à chaque démarrage, ça tient plus du jacky tuning qu’autre chose.
Il y a des outils comme grub-customizer qui permette de modifier sans prise de tête le fichier /etc/default/grub.
Cependant, il faudra dans un terminal entrer la commande sudo grub-mkconfig -o /boot/grub.cfg pour faire prendre en compte la dite personnalisation.
L’outil existe pour Archlinux, Ubuntu et d’autres distributions, mais pas pour Manjaro pour des raisons qui m’échappent.
Continuer la lecture de « Personnaliser Grub, quel intérêt ? »