Ubuntu-fr

Doug008

Changer de partition au démarrage

Bonjour,

J'aimerais que par défaut, au démarrage, ça soit une autre partition qui se lance!

Pouvez-vous m'aider à changer cela?

Bien à vous,

Doug

trifouilleur#

Re : Changer de partition au démarrage

Bonsoir,

Avant toute manipulation tu sauvegardes l'ensemble des fichiers de configuration de grub:

sudo cp -Rpv /etc/grub.d /etc/grub.d.backup
sudo cp -v /etc/default/grub /etc/default/grub.backup

Comme ça si tu plantes grub et que ton poste ne démarre plus tu pourras toujours revenir à tes anciens réglages en bootant depuis une clé et en restaurant tes sauvegardes.

Il y a un fichier README qui répond à ta question :

cat /etc/grub.d/README

une fois les modifications effectuées:

sudo update-grub

pour demander à grub de relire tous les fichiers de configuration que tu as modifié.

Une autre solution c'est de modifier uniquement /etc/default/grub
Tout est expliqué là ; https://doc.ubuntu-fr.org/grub-pc section 6.5.

Enfin, tu dois pouvoir aboutir au même résultat avec une interface graphique: https://doc.ubuntu-fr.org/grub-customizer

Doug008

Re : Changer de partition au démarrage

Bonjour,

Je viens d'essayer, mais dans grub-customizer, je me perds un peu et ai peur de faire une connerie...