Bonjour, Mon fichier "grub.cfg" fait des kilomètres de hauteur, à cause de centaines de lignes redondantes et totalement inutiles, sans compter des UUID différents dans plusieurs menuentruy d'une même partition. Comment recréer un nouveau fichier GRUB "grub.cfg", qui ne reprend que les menuentry des partitions avec les différentes versions de kernel dans /boot/ et sans erreurs ? (config- , initrd.img- , System.map-) Merci. A. Valmer