[Linux] Personnaliser GRUB sur une distribution Fedora
GRUB, c’est le petit programme sui permet de choisir quel système d’exploitation démarrer (Windows, Linux etc.). Au fil des mises à jour des noyaux Linux, la liste de systèmes et leurs variantes peut devenir assez conséquente. Comment nettoyer tout ce…