Résolu le 28-12-18 [Résolu] Remplacer Mint 15 par Mint 18 dans un dual boot

Postez ici toutes vos demandes d’assistance générale concernant le fonctionnement de Linux Mint, qui n'entrent pas dans les autres rubriques.
Avatar du membre
débitant
modérateur
Messages : 12153
Enregistré le : mar. 14 juil. 2015 18:22
Localisation : Lorraine France

Re: Faire de la place sur mon disque dur

Message par débitant »

Dernier message de la page précédente :

attention au placement des balises ;)
Avatar du membre
alain
Administrateur du site
Messages : 17314
Enregistré le : dim. 11 oct. 2015 23:41
Localisation : Chelles
Contact :

Re: Faire de la place sur mon disque dur

Message par alain »

Bonjour.

@ Tyrry (et Astérix). Peut être, mais je peux me tromper que tu voulais dire le fichier /boot/grub/grub.cfg ?

dans ce cas c'est:

Code : Tout sélectionner

xed /boot/grub/grub.cfg
Si je suis dans l'erreur, je supprime...
Слава Україні _ слава героям махновщини
PC1 : CM : ASRock 990FX | CPU: AMD FX 8350-8 cores, 4 GHz | RAM: 16 Go DDR3 1600 MHz | CG: GTX 1080TI-11 Go | OS : LM 22 Xfce 4.18 | K: 6.8
PC2
:Core2 Quad Q9650 @ 3 GHz | CG: Nvidia GTX 650TI | OS: LM 22 Wilma Xfce 4.18| K: 6.8
PC3 :Core i7-2600 @ 3,5 GHz | CG: ATI HD 4650 | OS: Emmade5 Xfce 4.18.0 | K: 6.1
PC4 : AMD Ryzen 5 3500X 4GHz | CG: GTX 970 | Ram : 8GB |OS : Debian 12.8 | K: 6.1
In a world without walls and fences, who needs windows and gates?
Avatar du membre
Martin
Messages : 282
Enregistré le : dim. 29 mai 2016 17:33

Re: Faire de la place sur mon disque dur

Message par Martin »

Asterix a écrit :... Le 'petit' souci est que par défaut, il me met 17 (en surbrillance).
Un moyen de mettre plutôt 18 par défaut ?
Salut,

Pour changer l'OS sur lequel Grub démarre par défaut on va dans le fichier /etc/default/grub :

Code : Tout sélectionner

sudo xed /etc/default/grub
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.

Enregistrer, puis

Code : Tout sélectionner

sudo update-grub
Reboot

Martin
Modifié en dernier par Martin le ven. 20 janv. 2017 16:27, modifié 1 fois.
Debian Sid KDE Plasma 5 / Archlinux KDE Plasma 5.10.4
Desktop – CPU : Intel(R) Core(TM) i7 CPU 860 @ 2.80GHz – RAM : 8 Gio -
CG : NVIDIA GeForce GT 430
Avatar du membre
Martin
Messages : 282
Enregistré le : dim. 29 mai 2016 17:33

Re: Faire de la place sur mon disque dur

Message par Martin »

alain a écrit :Bonjour.

@ Tyrry (et Astérix). Peut être, mais je peux me tromper que tu voulais dire le fichier /boot/grub/grub.cfg ?

dans ce cas c'est:

Code : Tout sélectionner

xed /boot/grub/grub.cfg
Si je suis dans l'erreur, je supprime...
Salut alain,

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.

Martin
Debian Sid KDE Plasma 5 / Archlinux KDE Plasma 5.10.4
Desktop – CPU : Intel(R) Core(TM) i7 CPU 860 @ 2.80GHz – RAM : 8 Gio -
CG : NVIDIA GeForce GT 430
Avatar du membre
bouledogue
Messages : 1447
Enregistré le : jeu. 6 oct. 2016 06:54
Localisation : Hauts de France

Re: Faire de la place sur mon disque dur

Message par bouledogue »

Martin a écrit :

Code : Tout sélectionner

sudo xed /etc/defaut/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! :lol:
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?):
Image
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 ;)
Un chien vaut mieux que deux tu l'auras 8-)
Image
Avatar du membre
Martin
Messages : 282
Enregistré le : dim. 29 mai 2016 17:33

Re: Remplacer Mint 15 par Mint 18 dans un dual boot

Message par Martin »

@ Asterix ;)

On va faire beaucoup simple :

- lancer LM 18
- Dans un terminal :

Code : Tout sélectionner

sudo grub-install /dev/sda

Code : Tout sélectionner

sudo update-grub
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. :mrgreen: ;)
Debian Sid KDE Plasma 5 / Archlinux KDE Plasma 5.10.4
Desktop – CPU : Intel(R) Core(TM) i7 CPU 860 @ 2.80GHz – RAM : 8 Gio -
CG : NVIDIA GeForce GT 430
Avatar du membre
bouledogue
Messages : 1447
Enregistré le : jeu. 6 oct. 2016 06:54
Localisation : Hauts de France

Re: Remplacer Mint 15 par Mint 18 dans un dual boot

Message 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 :mrgreen:
Un chien vaut mieux que deux tu l'auras 8-)
Image
Asterix
Messages : 201
Enregistré le : lun. 2 janv. 2017 21:54

Re: Remplacer Mint 15 par Mint 18 dans un dual boot

Message par Asterix »

Merci Martin pour l'astuce,

Je fais ça dès que j'ai un moment et je vous tiens au jus ;)
Dell optiflex 740 SFF reconditionné de 2024 -- Intel Core i5-6400 CPU M 350 @ 2.70 GHz x 4 -- RAM 15,5 Go -- disque dur 500 Go SSD partitionné entre Linux Mint 22 "Wilma" Cinnamon et Windows 10
Avatar du membre
Martin
Messages : 282
Enregistré le : dim. 29 mai 2016 17:33

Re: Remplacer Mint 15 par Mint 18 dans un dual boot

Message 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
Debian Sid KDE Plasma 5 / Archlinux KDE Plasma 5.10.4
Desktop – CPU : Intel(R) Core(TM) i7 CPU 860 @ 2.80GHz – RAM : 8 Gio -
CG : NVIDIA GeForce GT 430
Asterix
Messages : 201
Enregistré le : lun. 2 janv. 2017 21:54

Re: Remplacer Mint 15 par Mint 18 dans un dual boot

Message par Asterix »

Martin a écrit :@ Asterix ;)

On va faire beaucoup simple :

- lancer LM 18
- Dans un terminal :

Code : Tout sélectionner

sudo grub-install /dev/sda

Code : Tout sélectionner

sudo update-grub
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 ;)
Dell optiflex 740 SFF reconditionné de 2024 -- Intel Core i5-6400 CPU M 350 @ 2.70 GHz x 4 -- RAM 15,5 Go -- disque dur 500 Go SSD partitionné entre Linux Mint 22 "Wilma" Cinnamon et Windows 10
Avatar du membre
débitant
modérateur
Messages : 12153
Enregistré le : mar. 14 juil. 2015 18:22
Localisation : Lorraine France

Re: [Résolu] Remplacer Mint 15 par Mint 18 dans un dual boot

Message par débitant »

pour le résolu , encore un tit effort :lol:
merci d'éditer le premier message du sujet et mettre un petit Image, comme suit:
Image
et un [résolu] à gauche dans le titre
voir tuto ici
Répondre