Po jakékoli změně v /etc/default/grub je třeba povést příkaz
sudo update-grub
Do obou OS si doinstaluj Grub Customizer.
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
V něm lze pohodlně nastavit, co se bude spouštět při bootu (nějaká konkrétní položka, naposledy vybraná atd.).
----------------------------------------------------
Nicméně nemusí to fungovat, protože
jak známo,
v novém grubu je nějaký bug - grub nerespektuje zápis v
/etc/gefault/grubPotom jedině to zapsat natvrdo do
grub. cfg jak se popisuje v odkazu nebo nainstalovat starší verzi (grubu)....