Pues resulta que ahora para modificar cuestiones como el orden en el arranque de ciertos sistemas operativos o el tiempo que se va a mostrar el gestor de arranque manual, se debe modificar el siguiente archivo:

/etc/default/grub

Y posteriormente, ejecutar:

sudo update-grub

Para que los cambios sean considerados

Cheers!
Goose

Sorry, the comment form is closed at this time.

© 2020 Goose Workshop Suffusion theme by Sayontan Sinha