On Friday 04 February 2022 12:57:54 Sébastien NOBILI wrote: > 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/`… "Normarlement..." :-) mais in fine, le grub.cfg généré ne peut fonctionner (cf ci-dessus). Il doit utiliser des infos mémorisées (mais ou, dans quel fichier ?) que update-grub ajoute dans grub.cfg, d'où ce fichier ultra-long à infos redondantes et bourré d'erreurs d'UUID, entre autres.
