Ubuntu-fr

Diamant40

Modifier grub

Bonjour à tous !
Je sais, le sujet a été traité maintes fois, mais le posts en ligne datent de plusieurs années, et, les choses ont changé, des fichiers n'existent plus sous leurs anciens noms.
Je souhaite modifier l'ordre de boot du grub sous 20.04.2.
J'ai Win 8, Debian 10, et Ubuntu 20.04.2 et voudrais démarrer sur ce dernier
Existe t-il un tuto actualisé ?
Pour mon info: Est-ce que le Bios cherche sur quelle partition se trouve le Grub et il le lance.
Ce qui expliquerait que si l'on supprime la partition ou il a été créé, il plante.
Merci.

---

Chacun à sa place, chaque chose en son temps, et tout ira bien.

iznobe

Re : Modifier grub

Bonjour ,

il faut demarrer sur le systeme que tu veux qui soit par defaut
et logiquement

sudo os-prober
sudo update-grub
sudo grub-install /dev/partition

en remplacant partition par le disque ou la partition ou il est deja installé , mais je ne suis pas certain que c' est toujours pareil avec les installations en mode U/EFI

Dernière modification par iznobe (Le 11/04/2021, à 17:49)

---

retour utilisable de commande
MSI Z490A-pro , i7 10700 , 32 GB RAM .

geole

Re : Modifier grub

Bonjour
Lorsque tu auras booté sur le système que tu veux favoriser
1)   Installer le grub

sudo grub-install 

2) Si la commande râle en demandant un disque,   cela signifie que le boot est mode légacy donc

sudo  grub-install /dev/disque

et pas partition qui est  un peu périmée comme commande
3) Mise à jour afin de pouvoir quand même choisir les autres

sudo update-grub

Dernière modification par geole (Le 11/04/2021, à 18:03)

---

Les grilles de l'installateur https://doc.ubuntu-fr.org/tutoriel/inst … _subiquity
"gedit admin:///etc/fstab" est proscrit,  utilisez "pkexec env DISPLAY=$DISPLAY XAUTHORITY=$XAUTHORITY xdg-open /etc/fstab" Voir  https://doc.ubuntu-fr.org/gedit
Les partitions EXT4 des disques externes => https://forum.ubuntu-fr.org/viewtopic.p … #p22697248