¿Cómo se puede cambiar el valor por defecto de grub para que en lugar de minino sea otro sistema operativo el que arranque?
Con otros sistema he editado grub.cfg y he cambiado el valor de "set default". Pero en el de minino es diferente y no me atrevo a cambiarlo
Ya he encontrado una forma de hacerlo. Me respondo a mi mismo por si le sirve de ayuda a otro.
Se puede modificar el sistema operativo con el que arranca el ordenador por defecto con el comando grub-set-default. Como argumento hay que poner el número de la opción que deseamos.
Primero hay que ver cual es la opción que quieres para lo cual tienes que presionar esc cuando se carga grub para poder acceder al menu. Al ver la lista, mira en qué número está la opción que deseas, teniendo en cuenta que la primera es la 0. Supongamos que es la opción 2. Entonces se ejecuta en el terminal sudo grub-set-default 2.
Correcto, esa es una de las opciones.
Lo que no se debe hacer nunca es editar a mano «grub.cfg», xa que cada vez que se ejecute «update-grub» (lo ejecutan muchos instaladores de paquetes y procesos de post-install) reconstruirá «grub.cfg». En su lugar: editar «/etc/default/grub» ... hacer los ajustes que queramos ... y despues ejecutar «sudo update-grub»