Estos parámetros se modifican en el archivo /etc/default/grub:
$ sudo gedit /etc/default/grub
En la sección:
GRUB_DEFAULT=0
Sistema operativo por defecto, 0 es el primero, 1 el segundo, etc.
GRUB_TIMEOUT="10"
Tiempo de espera en segundos Despues de modificar el archivo, debemos actualizar grub.cfg con el comando:
sudo update-grub2
No hay comentarios:
Publicar un comentario