Page 3 sur 4

Re: Faire de la place sur mon disque dur

Posté : jeu. 19 janv. 2017 18:56
par débitant

Dernier message de la page précédente :

attention au placement des balises ;)

Re: Faire de la place sur mon disque dur

Posté : jeu. 19 janv. 2017 22:29
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...

Re: Faire de la place sur mon disque dur

Posté : ven. 20 janv. 2017 10:33
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

Re: Faire de la place sur mon disque dur

Posté : ven. 20 janv. 2017 11:12
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

Re: Faire de la place sur mon disque dur

Posté : ven. 20 janv. 2017 12:23
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 ;)

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

Posté : ven. 20 janv. 2017 16:14
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: ;)

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 :mrgreen:

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

Posté : ven. 20 janv. 2017 20:49
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 ;)

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 :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