Editer le fichier /etc/default/grub
Insérer ou mettre à jour les variables GRUB_SAVEDEFAULT et GRUB_DEFAULT :
# GRUB enregistre le dernier choix de démarrage de l'utilisateur GRUB_SAVEDEFAULT=true # GRUB démarre par défaut sur le dernier choix GRUB_DEFAULT=saved
Après modification du fichier configuration, mettre à jour GRUB :
update-grub