Désolé,rien n'y fait, c'est toujours Xubuntu qui arrive en premier.
Je viens de regarder dans le boot-info, je n'y ai pas compris grand-chose, sauf que LinuxMint est l'OS1 est Ubuntu le n°2.
J'ai vu quelque part que dans l'ordre pour le grub la numérotation commence à 0.
Ce qui était le cas tout au début, mais qui ne faisait pas monter LinuxMint au démarrage.
Depuis j'ai mis les valeurs 1 puis 2 à GRUB_DEFAULT, pour un résultat identique.
Je viens de remettre 0 et dans le retour de sudo update-grub je ne vois que Ubuntu, c'est normal qu'il n'y ait pas Linuxmint?
gerard@gerard-MS-7B79:~$ gedit admin:///etc/default/grub
** (gedit:4642): WARNING **: 19:04:13.594: Loading metadata failed: L’emplacement indiqué n’est pas monté
gerard@gerard-MS-7B79:~$ sudo update-grub
[sudo] Mot de passe de gerard :
Sourcing file `/etc/default/grub'
Sourcing file `/etc/default/grub.d/50_linuxmint.cfg'
Sourcing file `/etc/default/grub.d/init-select.cfg'
Création du fichier de configuration GRUB…
Image Linux trouvée : /boot/vmlinuz-5.4.0-65-generic
Image mémoire initiale trouvée : /boot/initrd.img-5.4.0-65-generic
Image Linux trouvée : /boot/vmlinuz-5.4.0-58-generic
Image mémoire initiale trouvée : /boot/initrd.img-5.4.0-58-generic
/dev/sda: open failed: Aucun support trouvé
/dev/sda: open failed: Aucun support trouvé
Ubuntu 20.04.2 LTS (20.04) trouvé sur /dev/nvme0n1p5
Adding boot menu entry for UEFI Firmware Settings
fait
En fait quelle que soit la valeur, rien ne change, il semblerait que le système ne prenne pas en compte les modifications.