Seulement, je ne sais pas comment indiquer au système quel noyau prendre. Et en ligne de commandes puisque le Gestionnaire de mises à jour s'y refuse. Ou via un autre utilitaire graphique (ce serait l'idéal, mais je doute sérieusement de son existence).
Quelqu'un saurait comment procéder ?
ben tu le choisis au demarrage de la machine, dans le menu de boot.
apres si tu veux le figer, c'est l'option saved qui permet de sauvegarder la derniere selectionné dans grub, et de la reutiliser au demarrage suivant
evidemment pour cela il faut "voir" le menu de grub qui est maintenant "masqué" par defaut,
pour l'afficher il faut aller jouer du fichier /etc/default/grub dans lequel tu as les options de timeout, et de hidden pour permettre d'afficher et d'attendre ta reponse
# les options de grub
Posté par NeoX . En réponse au message Comment activer un noyau installé depuis de Gestionnaire de mises à jour ?. Évalué à 3.
ben tu le choisis au demarrage de la machine, dans le menu de boot.
apres si tu veux le figer, c'est l'option saved qui permet de sauvegarder la derniere selectionné dans grub, et de la reutiliser au demarrage suivant
evidemment pour cela il faut "voir" le menu de grub qui est maintenant "masqué" par defaut,
pour l'afficher il faut aller jouer du fichier
/etc/default/grubdans lequel tu as les options de timeout, et de hidden pour permettre d'afficher et d'attendre ta reponse