Il y a plusieurs possibilités. Je vais te proposer celle qui me paraît la plus simple : mémoriser le dernier choix.
sudo cp /etc/default/grub /etc/default/grub.old
sudo nano /etc/default/grub
Chercher une ligne où il y a :
GRUB_DEFAULT=0
Remplacer par (en fait sur cette ligne, seul le 0 est effacé et remplacé par saved) :
GRUB_DEFAULT=saved
Appuyer sur Entrée (pour créer une ligne)
Ajouter
GRUB_SAVEDEFAULT=true
CTRL+o - Entrée - CTRL+x
Tu te retrouves avec quelque chose comme
(...)
GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true
(...)
Puis mettre à jour grub :
sudo update-grub
Puis tu rebootes en faisant afficher grub et tu choisis le noyau qui t'intéresse (le 4.18.0-20). Ce choix va être mémorisé et au prochain boot celui-ci sera choisi automatiquement.
