logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 27-06-2017 09:38:52

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)

Hors ligne

#2 27-06-2017 09:54:56

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.

Hors ligne

#3 27-06-2017 10:11:19

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é .

Hors ligne

#4 27-06-2017 19:25:59

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.

Hors ligne

Pied de page des forums