Cambiar el Sistema Operativo por defecto al arranque en Linux Mint 20

En Linux Mint 20 instalado con multi SO boot con Windows no aparece /etc/default/grub (????)

http://misnotaslinux.blogspot.com/2020/06/linux-mint-193-tricia-y-window10-con.html

De modo que no puedo aplicar la solución indicada en:

http://misnotaslinux.blogspot.com/2010/10/menulst-de-grub2.html

tampoco me permite cambiar el sistema operativo por edefecto usando BootReapair (???)

http://misnotaslinux.blogspot.com/2012/06/arreglar-el-mbr-con-boot-repair.html

 -

Finalmente he podido cambiar el sistema operativo que arraca por defecto al iniciar el ordenador con grub2 del siguiente modo:

# grub-set-default 0
# update-grub 

Siendo "0" el primer sistema operativo que aparece en el menu de arranque de grub2.

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