Grub2: la documentación de Ubuntu de la comunidad dice lo siguiente:
Se puede guardar un sistema operativo ejecutando sudo grub-set-default si DEFAULT = salvado se configura en / etc / default / grub. También se puede guardar si GRUB_SAVEDEFAULT = true también se establece en / etc / default / grub. En este caso, el sistema operativo predeterminado permanece hasta que se seleccione manualmente un nuevo sistema operativo del menú GRUB 2 o se ejecute el comando grub-set-default.
Pongo las líneas DEFAULT=saved
Y GRUB_SAVEDEFAULT=true
en /etc/default/grub
, y corrí sudo grub-set-default
. Aquí está la salida:
$ 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>.
¿No estoy siguiendo la documentación correctamente? ¿Cuál es la forma correcta de hacer esto?
sudo update-grub
".