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 10:38:52

Debian Alain
Membre
Lieu : BREST 29200
Distrib. : W$10 / stretch / ubuntu 17.04 / buster-sid
Noyau : Linux 4.13.0-0.bpo.1-amd64
(G)UI : Mate / Gdm3
Inscription : 11-03-2017

[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 11:11:44)


1498826560.jpg 1498812139.jpg Bip ! Bip !

Hors ligne

#2 27-06-2017 10: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 10:58:39)

Hors ligne

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

Debian Alain
Membre
Lieu : BREST 29200
Distrib. : W$10 / stretch / ubuntu 17.04 / buster-sid
Noyau : Linux 4.13.0-0.bpo.1-amd64
(G)UI : Mate / Gdm3
Inscription : 11-03-2017

Re : [résolu] grub demarrage kernels

merci raleur .

tu m'as bien aidé .

sans toi j'aurai pas trouvé .

1498826560.jpg 1498812139.jpg Bip ! Bip !

Hors ligne

#4 27-06-2017 20: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.

Hors ligne

Pied de page des forums