Bonjour,
Le 2022-02-04 12:48, ajh-valmer a écrit :
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",
Le fichier `grub.cfg` est autogénéré par la commande `update-grub`. Elle
est lancée
à chaque installation/mise à jour du noyau.
Normalement on n'y trouve que ce qui est présent sur le système.
Peut-être que tu as des choses pas standard dans le fichier
`/etc/default/grub`
ou le dossier `/etc/default/grub.d/`…
Sébastien