et on modifie la valeur de GRUB_DEFAULT en indiquant le chiffre de la ligne souhaitée par défaut (0 = première, 1 = la deuxième, etc...)
Si par exemple tu mets : GRUB_DEFAULT=2 c'est la 3ème ligne de ton Grub qui sera selectionnée ( en surbrillance) au démarrage.
En résumé je t'explique comment fonctionne Grub2, je sais que ce n'est pas toujours très évident !
/boot/grub/grub.cfg est un fichier de configuration généré automatiquement par update-grub à partir des données contenues dans /etc/default/grub et /etc/grub.d/ , il est donc inutile d’éditer et modifier manuellement ce fichier car les modifications apportées seront perdues à la prochaine invocation de update-grub.
Hello Martin ça ne serait pas "default" à la place de "defaut"?
En tous cas merci pour l'astuce compléte pratique!
EDIT: je me permets de revenir polluer le sujet de notre ami, pour signaler que l'astuce n'a pas marchée chez moi (comme tout ce qui touche à grub sur mon ordi), mais qu'en plus mon OS mint18xfce sur lequel j'ai fais la manip ne voulait plus s'arrêter, j'ai du l'éteindre avec le bouton Actuellement il s'est relancé mais ça a été beaucoup plus long que d'habitude...
Décidemment je suis faché avec grub moi!
Mais Martin, je ne comprends pas un truc: si on modifie le fichier etc/default/grub, ou qu'on fait un update grub à partir d'un os qui fait partie d'un multiboot, c'est le fichier situé sur la partition de cet OS là qui est modifié, pas le grub principal (qui est sur la racine de sda normalement? ou sda1 chez moi?):
du coup rien ne change? Chaque OS d'un multi boot à un fichier grub, mais seul le premier installé fonctionne c'est bien ça?
Bref je conseille à Asterix de rester comme ça en attendant, c'est complexe cette histoire
Re: Remplacer Mint 15 par Mint 18 dans un dual boot
Reboot et c'est Linux Mint qui sera sur la première ligne et sélectionné par défaut.
@ salut bouledogue
Effectivement tu n'as pas de chance avec Grub car les paramètres indiqués fonctionnent.
En multiboot tous les paramètrages se font sur le Grub du système lancé par défaut. Celui des autres n'ont pas d'intérêt.
Mais je crois que je ne suis pas un très bon pédagogue après tout.
Re: Remplacer Mint 15 par Mint 18 dans un dual boot
Posté : ven. 20 janv. 2017 18:36
par bouledogue
Martin a écrit :
En multiboot tous les paramètrages se font sur le Grub du système lancé par défaut. Celui des autres n'ont pas d'intérêt.
Attends je ne saisis pas: le grub du système lancé par défaut: tu veux parler du système qui contient le drapeau Boot dans Gparted, ou celui qui se lance quand on laisse Grub démarrer l'OS sans intervenir? Je comprend vite mais il faut du temps
Re: Remplacer Mint 15 par Mint 18 dans un dual boot
Posté : ven. 20 janv. 2017 19:05
par Asterix
Merci Martin pour l'astuce,
Je fais ça dès que j'ai un moment et je vous tiens au jus
Re: Remplacer Mint 15 par Mint 18 dans un dual boot
Posté : ven. 20 janv. 2017 19:43
par Martin
@ bouledogue
Le Grub a été installé sur le MBR soit au moment de l'installation de la distribution soit ensuite volontairement manuellement avec la commande grub-install. C'est le Grub de cette distribution qui est à paramétrer.
Martin
Re: Remplacer Mint 15 par Mint 18 dans un dual boot
Reboot et c'est Linux Mint qui sera sur la première ligne et sélectionné par défaut.
Fait Martin, ça fonctionne
Je mets le sujet en "résolu".
Merci à vous
Re: [Résolu] Remplacer Mint 15 par Mint 18 dans un dual boot
Posté : ven. 20 janv. 2017 21:11
par débitant
pour le résolu , encore un tit effort
merci d'éditer le premier message du sujet et mettre un petit , comme suit:
et un [résolu] à gauche dans le titre voir tuto ici