Сохранение ОС может быть достигнуто путем запуска sudo grub-set-default, если в /etc/default/grub установлено значение DEFAULT=saved. Он также может быть сохранен, если GRUB_SAVEDEFAULT=true также установлен в /etc/default/grub. В этом случае ОС по умолчанию остается до тех пор, пока новая ОС не будет выбрана вручную из меню GRUB 2 или не будет выполнена команда grub-set-default.
Я положил строки DEFAULT=saved и GRUB_SAVEDEFAULT=true в /etc/default/grub, и побежал sudo grub-set-default. Вот результат:
$ sudo grub-set-defaultentry not specified.Usage: grub-set-default [OPTION] entrySet the default boot entry for GRUB. -h, --help print this message and exit -v, --version print the version information and exit --boot-directory=DIR expect GRUB images under the directory DIR/grub instead of the /boot/grub directoryENTRY is a number or a menu item title.Report bugs to <bug-grub@gnu.org>.
Я неправильно следую документации? Как правильно это сделать?
Документация в этом случае неверна. Все переменные в /etc/default/grub начните с GRUB_, так что это GRUB_DEFAULT=saved, нетDEFAULT=saved. Я исправил вики-страницу Ubuntu, чтобы отразить это.
В моем случае (Arch Linux, а не Ubuntu ;) ) Я нашел pacman -S grub-customizer (из этот пост на StackOverflow от мэтт-у), который является хорошим графическим интерфейсом для настройки GRUB-меню!
PS: Я не мог ни поддержать, ни прокомментировать ccpizzaответ из-за отсутствия кредитов на этом форуме, поэтому я решил дать другой ответ :(