Menú de arranque (GRUB)
Modificar el menú de arranque en Linux.
Para poder modificar la opción del menú de arranque que se instala cuando instalamos Linux y seleccionar la opción por defecto a nuestro gusto debemos editar el archivo grub.cfg que se encuentra en el directorio /boot/grub.
Para ello hacemos uso de algún editor de texto con permisos de administrador
sudo gedit /boot/grub/grub.cfg
Y cambiamos el número de la línea «set default» por el que nosotros queramos. Por defecto está en 0.
Para poder comentar es necesario iniciar sesión