Grub2 - Dokumentacja społeczności Ubuntu mówi:
Zapisanie systemu operacyjnego można osiągnąć, uruchamiając sudo grub-set-default, jeśli DEFAULT = zapisano w / etc / default / grub. Można go również zapisać, jeśli GRUB_SAVEDEFAULT = true jest również ustawiony w / etc / default / grub. W takim przypadku domyślny system operacyjny pozostaje do momentu ręcznego wybrania nowego systemu operacyjnego z menu GRUB 2 lub wykonania polecenia grub-set-default.
Włożyłem linie DEFAULT=saved
I GRUB_SAVEDEFAULT=true
w /etc/default/grub
, i pobiegł sudo grub-set-default
. Oto wynik:
$ sudo grub-set-default
entry not specified.
Usage: grub-set-default [OPTION] entry
Set 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 directory
ENTRY is a number or a menu item title.
Report bugs to <bug-grub@gnu.org>.
Czy nie postępuję zgodnie z dokumentacją? Jaki jest właściwy sposób to zrobić?
sudo update-grub
”.