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 <[email protected]>.
¿No estoy siguiendo la documentación correctamente? ¿Cuál es la forma correcta de hacer esto?
sudo update-grub
".Respuestas:
La documentación en este caso es incorrecta. Todas las variables en
/etc/default/grub
principio conGRUB_
, por lo que esGRUB_DEFAULT=saved
, noDEFAULT=saved
. He corregido el 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
:Entonces corre:
fuente
GRUB_DEFAULT=0
?GRUB_DEFAULT=0
, la línea debería leerGRUB_DEFAULT=saved
En mi caso, no funcionaba para las entradas definidas a través de las
/etc/grub.d/40_custom
cuales faltaba lasavedefault
línea.fuente
Está olvidando el número (es decir, "ENTRADA es un número o un título de elemento de menú" en su texto).
para que la opción 1 sea la predeterminada.
Ejecute siempre
sudo update-grub
después de modificar el/etc/default/grub
archivo para aplicar los cambios.fuente
savedefault no funcionará si no hay un encabezado adecuado en grub.cfg generado automáticamente
Para generar el encabezado adecuado, debe configurarlo en / etc / default / grub
y haga grub-mkconfig para sustituir su copia de grub.cfg
savedefault de Grub 2.02 no requiere ningún argumento adicional
Puede ver la fuente de savedefault en grub.cfg
fuente