Também rejeitei a edição do meu /etc/default/grub
modificado após examiná-lo na caixa de diálogo
Eu encontrei a versão proposta em cache em /var/lib/ucf/cache
Você pode ver:
less /var/lib/ucf/cache/:etc:default:grub
você pode ver o que é diferente:
diff /var/lib/ucf/cache/:etc:default:grub /etc/default/grub
Para substituir diretamente seu /etc/default/grub
atual pela versão proposta, primeiro fazendo uma cópia de backup da atual:
sudo cp /etc/default/grub /etc/default/grub-backup
sudo mv /var/lib/ucf/cache/:etc:default:grub /etc/default/grub
Ou para editar seu atual etc/default/grub
para fazer alterações você mesmo
sudo nano /etc/default/grub
Se você fizer uma alteração, não se esqueça de executar
sudo update-grub