Comment configurer le gestionnaire de démarrage pour qu'il affiche l'option permettant de choisir entre différentes versions du noyau lors du démarrage ?

Je suis désolé si c'est ridicule, mais puisqu'il n'y a pas encore d'autres réponses : vous n'avez pas oublié de vérifier la rubrique "Afficher le menu du chargeur de démarrage boîte en "Options de démarrage" "Divers" l'avez-vous fait ?

Au cas où vous l'auriez fait :

D'après ce que j'ai compris, ce programme modifie /etc/default/grub . Ouvrez ce fichier en utilisant quelque chose comme gksu gedit /etc/default/grub .

Il y a maintenant deux valeurs intéressantes :

GRUB_HIDDEN_TIMEOUT=0
GRUB_TIMEOUT=10

La première consiste à fixer un délai d'attente pendant lequel Grub ne s'affiche pas du tout. La seconde fixe le délai d'attente jusqu'à ce que Grub se cache lui-même lorsqu'il est affiché.

Pour que le menu de démarrage soit toujours affiché, réglez les valeurs sur ce que vous voyez ci-dessus.

Notez que Grub est toujours caché si le démarrage précédent n'a pas échoué. (C'est en fait l'inverse, je pense, Grub se force à s'afficher si le démarrage précédent a échoué).

pour vous débarrasser de ce comportement, vous pouvez définir l'option GRUB_HIDDEN_TIMEOUT= (valeur vide). Cela affichera toujours Grub.

N'oubliez pas de courir update-grub une fois que vous avez terminé.

Et sauvegardez toujours ce fichier avant de le modifier . Soyez très prudent ; si vous brisez ce fichier, vous devrez peut-être récupérer Grub à l'aide d'un CD Ubuntu. Ayez-en un à portée de main, juste au cas où.