Você está alterando o arquivo compilado em vez do arquivo de origem. Quando sudo update-grub
executa suas alterações no arquivo compilado, elas são substituídas pelo arquivo de origem.
O arquivo de origem correto a ser editado é /etc/default/grub
.
Depois de salvar as alterações de /etc/default/grub
, você precisa executar:
sudo update-grub