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 :

• https://askubuntu.com/questions/148662/how-to-get-grub2-to-remember-last-choice