Changer ordre liste boot [Résolu/Fermé]

Signaler
Messages postés
92
Date d'inscription
mardi 7 septembre 2010
Statut
Membre
Dernière intervention
4 août 2015
-
Messages postés
36299
Date d'inscription
dimanche 7 novembre 2010
Statut
Contributeur
Dernière intervention
27 janvier 2021
-
Bonjour à tous,

Je souhaiterais changer l'ordre des différents OS au démarrage.
C'est Ubuntu qui ce charge du dual-boot.

Merci d'avance.

3 réponses

Messages postés
29800
Date d'inscription
jeudi 12 mai 2005
Statut
Modérateur
Dernière intervention
6 mai 2021
7 088
J'imagine que tu veux changer l'ordre pour sélectionner un autre OS par défaut ?

Si c'est le cas tu peux le faire via /etc/default/grub

(mando@aldur) (~) $ cat /etc/default/grub 
# If you change this file, run 'update-grub' afterwards to update 
# /boot/grub/grub.cfg. 

GRUB_DEFAULT=0 
GRUB_TIMEOUT=5 
GRUB_DISTRIBUTOR='lsb_release -i -s 2> /dev/null || echo Debian' 
GRUB_CMDLINE_LINUX_DEFAULT="quiet" 
GRUB_CMDLINE_LINUX="" 
...


GRUB_DEFAULT=0 signifie que c'est le premier élément qui est sélectionné par défaut, 1 le second, 2 le troisème etc... Pour modifier ce fichier :

sudo nano /etc/default/grub


(ctrl x pour sauver et quitter).

Ensuite il faut lancer la commande :

update-grub


... pour que ce soit pris en compte.

Bonne chance
Messages postés
92
Date d'inscription
mardi 7 septembre 2010
Statut
Membre
Dernière intervention
4 août 2015
1
Désolé pour le retard et surtout merci pour ta réponse.
Si je cherche justement à changer l'ordre de boot, c'est justement car je viens d'installer mon premier linux. Et j'ai un petit problème à ce niveau :

GRUB_DEFAULT=0
#GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true
GRUB_TIMEOUT=10
GRUB_DISTRIBUTOR='lsb_release -i -s 2> /dev/null || echo Debian'
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

Jusque la tout va bien mais : sudo nano /etc/default/grub ????? (comment et où entrer la commande ?)
Où est Windows ( je souhaite le passer en n°1)
Pareil, où se trouve la commande pour lancer
update-grub


Merki encore
Messages postés
283
Date d'inscription
mardi 6 mai 2008
Statut
Membre
Dernière intervention
30 janvier 2021
20
Salut,

Tu peux utiliser gedit c'est plus facile pour un débutant

sudo gedit /etc/default/grub

Bye
Messages postés
92
Date d'inscription
mardi 7 septembre 2010
Statut
Membre
Dernière intervention
4 août 2015
1
Merci mais
sudo gedit /etc/default/grub
?????

Je lance gedit mais pour moi, ça m'a l'air d'un "bloc note"
Comment entrer une commande avec gedit ?
Messages postés
283
Date d'inscription
mardi 6 mai 2008
Statut
Membre
Dernière intervention
30 janvier 2021
20
Bonjour,

Si tu es sur Ubuntu cette commande (que tu lances via le terminal) va te permettre de modifier l'ordre des OS que tu lances et,


GRUB_DEFAULT=0

Il te faut changer le 0 par le truc qui va bien

Bye
Messages postés
36299
Date d'inscription
dimanche 7 novembre 2010
Statut
Contributeur
Dernière intervention
27 janvier 2021
6 166
Messages postés
92
Date d'inscription
mardi 7 septembre 2010
Statut
Membre
Dernière intervention
4 août 2015
1
Merci à tous pour votre aide !!
En effet, tout est réglé.
merci encore
comment tu a fait?? aide moi plz
Merci d'avance pour ton aide!!! je suis vraiment face à un problème!!!!
Messages postés
36299
Date d'inscription
dimanche 7 novembre 2010
Statut
Contributeur
Dernière intervention
27 janvier 2021
6 166
Il a lu ça ou ça je pense ;-))