Как должна работать команда Grub «save_env»?

Я пытаюсь изменить grubenv из Grub. Согласно документации, это должно работать с помощью команды save_env . К сожалению, я не могу заставить его работать. Я хотел бы изменить значение saved_entry, используя следующую команду в командной строке Grub

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

. Она не возвращает никаких ошибок, но list_env по-прежнему показывает старое значение. Это минимальная установка Ubuntu 15.10.

Я что-то упустил?