A documentação neste caso está errada. Todas as variáveis em /etc/default/grub
começam com GRUB_
, portanto é GRUB_DEFAULT=saved
, não DEFAULT=saved
. Eu corrigi o wiki do Ubuntu para refletir isso.
O manual oficial do grub descreve isso corretamente: link
Coloque o seguinte em /etc/default/grub
:
GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true
Em seguida, execute:
sudo update-grub