sudo gedit /etc/default/grub
2. Localizamos la línea GRUB_DEFAULT y modificamos su valor en función de qué SO queramos poner como SO por defecto:
La línea GRUB_DEFAULT determina qué sistema operativo estará seleccionado por defecto en el gestor de arranque, pero antes de cambiarlo debemos saber qué orden tienen los sistemas operativos en nuestro gestor de arranque y qué puesto ocupa el que nosotros queremos, teniendo en cuenta que se empieza a contar por el número 0.
Por ejemplo, si queremos poner Windows como SO por defecto, y Windows 10 nos aparece como la 2ª opción en el gestor de arranque, entonces sabremos que Windows 10 está en el lugar 1.
Por tanto:
GRUB_DEFAULT=0 : El primer sistema operativo del gestor será el SO por defecto.
GRUB_DEFAULT=1 : El segundo sistema operativo del gestor será el SO por defecto.
GRUB_DEFAULT=2 : El tercer sistema operativo del gestor será el SO por defecto.
(...)
3. Localizamos la línea GRUB_TIMEOUT y modificamos su valor en función de cuántos segundos queramos que dure la pantalla de selección de SO:
La línea GRUB_TIMEOUT determina cuántos segundos dura la pantalla de selección de SO del gestor de arranque.
Por tanto:
GRUB_TIMEOUT=-1 : Sin tiempo de espera.
GRUB_TIMEOUT=1 : El tiempo de espera será de 1 segundo.
GRUB_TIMEOUT=2 : El tiempo de espera será de 2 segundos.
(...)
¡NO PONER EL TIEMPO DE ESPERA A 0 SEGUNDOS SI NO QUERÉIS PROBLEMAS!
sudo update-grub
Con el próximo reinicio, en nuestro gestor de arranque aparecerá resaltada como SO por defecto la opción que nosotros hayamos puesto en el GRUB, y la pantalla de selección de SO durará el tiempo que nosotros hayamos establecido.
0 comentarios:
Publicar un comentario