Pregunta:
Grub2 – Community Ubuntu Documentation dice lo siguiente:
Se puede guardar un sistema operativo ejecutando sudo grub-set-default si DEFAULT = Saved está configurado en / etc / default / grub. También se puede guardar si GRUB_SAVEDEFAULT = true también está configurado en / etc / default / grub. En este caso, el sistema operativo predeterminado permanece hasta que se selecciona manualmente un nuevo sistema operativo en el menú de GRUB 2 o se ejecuta el comando grub-set-default.
Puse las líneas DEFAULT=saved
GRUB_SAVEDEFAULT=true
Y GRUB_SAVEDEFAULT=true
en /etc/default/grub
, y ejecuté sudo grub-set-default
. Aquí está el resultado:
$ 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 sigo la documentación correctamente? ¿Cuál es la forma correcta de hacer esto?
Respuesta:
La documentación en este caso es incorrecta. Todas las variables en /etc/default/grub
comienzan con GRUB_
, por lo que es GRUB_DEFAULT=saved
, no DEFAULT=saved
. He corregido la wiki de Ubuntu para reflejar eso.
El manual oficial de grub describe esto correctamente: http://www.gnu.org/software/grub/manual/grub.html#Simple-configuration
Ponga lo siguiente en /etc/default/grub
(línea de comando: gedit admin:///etc/default/grub
):
GRUB_DEFAULT=saved
GRUB_SAVEDEFAULT=true
Entonces corre:
sudo update-grub