Debian-facile

Debian Alain

Membre

Lieu : Bretagne

Distrib. : sid (unstable) / bullseye (stable)

Noyau : Linux sid 6.4.0-3-amd64

(G)UI : Gnome X.org (X11) / GDM3

Inscription : 11-03-2017

Site Web

[résolu] grub demarrage kernels

bonjour ,

j'ai installé le kernel 4.11.7 pour faire des tests .

mais j'aimerai démarrer sur le kernel d'origine , savoir le 4.9.0.-3

j'ai cherché mais sans trouver de renseignement valable .

qqun pour m'aider  ?

ce que je veux , c'est choisir mon kernel automatiquement au démarrage .

là il démarre sur le 4.11 , et c'est pas ce que je veux .

je veux qu'il démarre sur le 4.9.

merci

Dernière modification par Debian Alain (27-06-2017 10:11:44)

---

+ -- Les Cahiers du Débutant (Bullseye) -- + -- Les Cahiers de l'Admin (buster) -- +

+ (ISOs Debian Facile) + -- Les Commandes Linux (D - F) -- +

raleur

Membre

Inscription : 03-10-2014

Re : [résolu] grub demarrage kernels

L'entrée de menu par défaut est définie dans le fichier /etc/default/grub par la variable GRUB_DEFAULT. Les entrées sont numérotées en partant de 0. On peut aussi utiliser le libellé de l'entrée à la place du numéro d'ordre, mais je n'ai jamais essayé.

Par contre avec les sous-menus ça se complique. Il me semble que la syntaxe est de la forme "entrée_menu>entrée_sous_menu" mais je n'ai jamais essayé non plus.
Je dirais GRUB_DEFAULT="1>1" pour la seconde entrée du menu principal (options) et la seconde entrée du sous-menu (avant-dernier noyau).

Comme toujours après avoir modifié /etc/default/grub il faut regénérer le menu avec update-grub pour appliquer les modifications.

Dernière modification par raleur (27-06-2017 09:58:39)

---

Il vaut mieux montrer que raconter.

Debian Alain

Membre

Lieu : Bretagne

Distrib. : sid (unstable) / bullseye (stable)

Noyau : Linux sid 6.4.0-3-amd64

(G)UI : Gnome X.org (X11) / GDM3

Inscription : 11-03-2017

Site Web

Re : [résolu] grub demarrage kernels

merci raleur .

tu m'as bien aidé .

sans toi j'aurai pas trouvé .

---

+ -- Les Cahiers du Débutant (Bullseye) -- + -- Les Cahiers de l'Admin (buster) -- +

+ (ISOs Debian Facile) + -- Les Commandes Linux (D - F) -- +

raleur

Membre

Inscription : 03-10-2014

Re : [résolu] grub demarrage kernels

Tant mieux. Ma réponse était approximative parce que je n'avais pas de GRUB sous la main pour tester, mais je me suis dit que ce serait mieux que rien.

---

Il vaut mieux montrer que raconter.