[gull] noyau le plus récent pas proposé dans le menu grub

[Marc SCHAEFER]

Hello,

On Tue, Sep 24, 2024 at 01:17:04PM +0200, Yann Lehmann via gull wrote:
> Je pense que la solution sera d'indiquer à grub où chercher "le nouveau"
> /boot. Je creuse et posterai le résultat.

Je dirais de supprimer ce qui n'est plus utile (les partitions/LV),
puis de lancer

   grub-install /dev/sda # adapter
   update-grub

Ca devrait suffire.  Sinon c'est que grub est encore chargé ailleurs,
donc faire quelques grub-install.  Ou, il se peut (mais ça dépasse
mes compétences) que quelque chose soit installé dans la zone
UEFI persistante (c'est un des choix possibles où on peut mettre
grub avec le CD/USB d'installation/rescue de Debian).

grub-install devrait noter où est le /boot réellement utilisé, et
update-grub devrait installer ce qu'il faut dans /boot.