Le jeudi 26 décembre 2024 à 16:34 +0100, Jose CHARTERS a écrit :Bonjour,Bonjour, je te propose: dans /etc/default/grub GRUB_DEFAULT=saved GRUB_SAVEDEFAULT=true puis update-grub et reboot choisir le bon noyau "à la main" au prochain boot, grub se souvient de ton dernier choix et l'applique par défaut.
Merci Christophe, pour cette solution qui fonctionne à merveille. Adopté.
Cordialement,
José