Estou tentando modificar o grubenv de dentro do Grub. De acordo com a documentação, isso deve funcionar usando o comando save_env . Infelizmente não consigo fazer funcionar. Eu gostaria de alterar o valor saved_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. Esta é uma instalação mínima do Ubuntu 15.10.
Estou perdendo alguma coisa?
OK, felizmente sou capaz de responder à minha pergunta agora. :)
Para usar o save_env, primeiro é necessário definir o env e somente depois salvá-lo. (Essa parte não ficou clara para mim a partir da documentação do Grub)
Então os comandos de trabalho parecem:
set saved_entry='Windows 10 (loader) (on /dev/sda2)'
save_env saved_entry
É isso! Na verdade, encontrei a solução graças a essa postagem .