Comment changer le système lancé par défaut dans GRUB

Dans une configuration Linux et Windows, GRUB choisit une entrée après quelques secondes. Tu peux changer ce choix sans réorganiser tout le menu.

Mon ancien tutoriel proposait de modifier /boot/grub/grub.cfg. Ce fichier est généré automatiquement et peut être remplacé lors d’une mise à jour. La bonne configuration se trouve dans /etc/default/grub.

Voir les entrées disponibles

Sur Ubuntu et Linux Mint, tu peux afficher les entrées principales avec :

1grep "^menuentry" /boot/grub/grub.cfg

Les entrées commencent à zéro. La première vaut 0, la suivante 1.

La documentation GNU GRUB autorise un numéro, un titre ou un identifiant. Un identifiant est plus stable qu’un titre traduit, mais un numéro reste pratique pour une configuration simple.

Modifier la valeur par défaut

Ouvre le fichier :

1sudo nano /etc/default/grub

Repère cette ligne :

1GRUB_DEFAULT=0

Pour choisir la deuxième entrée, utilise :

1GRUB_DEFAULT=1

Enregistre, puis régénère la configuration :

1sudo update-grub

Redémarre pour vérifier.

Choisir une entrée enregistrée

Si tu veux définir une entrée par son identifiant, utilise le mode enregistré :

1GRUB_DEFAULT=saved

Mets ensuite GRUB à jour et choisis l’entrée :

1sudo update-grub
2sudo grub-set-default 'identifiant-de-l-entree'

La commande grub-set-default est prévue par GRUB pour renseigner saved_entry. Tu peux consulter la documentation de cette variable.

Vérifie ensuite la valeur enregistrée :

1sudo grub-editenv list

Si aucune valeur saved_entry n’apparaît, ne suppose pas que la commande a fonctionné. Reviens à un identifiant défini directement dans GRUB_DEFAULT.

Une entrée dans un sous-menu

Les noyaux plus anciens se trouvent souvent dans Advanced options. GRUB accepte alors une notation avec > entre le sous-menu et l’entrée :

1GRUB_DEFAULT="Advanced options for Linux Mint>Linux Mint, with Linux 6.x"

Les titres peuvent changer après une mise à jour. Pour un besoin ponctuel, sélectionne simplement l’entrée dans le menu au démarrage. Pour une configuration durable, préfère un identifiant stable.

Avant toute modification, garde une copie de /etc/default/grub. Et surtout, ne modifie plus directement grub.cfg : la prochaine génération effacerait ton changement.