Esto puede evitarse con unas pocas líneas:
Abrir el Terminal y escribir:
sudo gedit /etc/default/grub
(reemplazar gedit por el editor de textos que utilices)
Cambias la línea
GRUB_DEFAULT=0
por
GRUB_DEFAULT=saved
guardar y cerrar el editor.
Y luego ejecutas:
sudo update-grub
Ahora solo hay que escribir el comando
sudo grub-reboot X
Donde X es el número de orden del sistema operativo que desea en el grub.
Leído en RevistaLinux
No hay comentarios:
Publicar un comentario