[Linux] Personnaliser GRUB sur une distrib 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 bazar, déterminer une durée au bout de laquelle un système démarre automatiquement, changer l'ordre des