Como o comando Grub “save_env” deve funcionar?

Question

Estou tentando modificar o grubenv no Grub. De acordo com a documentação isso deve funcionar usando o comandosalvar_env. Infelizmente não consigo fazê-lo funcionar. Gostaria de alterar o valor save_entry usando o seguinte comando na linha de comando do Grub

save_env saved_entry=Windows 10 (loader) (on /dev/sda2)

Não retorna nenhum erro, mas list_env ainda mostra o valor antigo. Isto está em uma instalação mínima do Ubuntu 15.10.

Estou faltando alguma coisa?

Answer 1

OK, felizmente posso responder minha própria pergunta agora. :)

Para usar save_env é preciso primeiro definir o env e só depois salvá-lo. (Essa parte não ficou clara para mim na documentação do Grub)

Portanto, os comandos de trabalho são assim:

set saved_entry='Windows 10 (loader) (on /dev/sda2)'
save_env saved_entry

É isso! Na verdade, encontrei a solução graças a issopublicar.