Diferencia entre revisiones de «GRUB»
m (los puntitos sobran) |
|||
Línea 13: | Línea 13: | ||
$ sudo update-grub | $ sudo update-grub | ||
+ | |||
+ | == Cambiar el tiempo de espera == | ||
+ | GRUB deja por defecto 10 segundos para permitir la selección de sistema operativo o versión de kernel. Este tiempo puede parecer excesivo o demasiado breve. Para modificarlo basta con editar el archivo de configuración del menú de GRUB: | ||
+ | |||
+ | $ sudo gedit /boot/grub/menu.lst | ||
+ | |||
+ | Busca la línea |
Revisión de 12:04 15 ago 2006
GRUB es un gestor de arranque: es lo primero que se carga cuando se inicia la computadora. Permite tener diferentes Sistemas Operativos, y diferentes versiones de ellos, en el mismo disco duro. Por ejemplo puede tener Windows y Linux en la misma computadora, GRUB se cargara antes que cualquiera de éstos permitiendole elegir.
Cambiar el Sistema Operativo por defecto
Si tienes Windows en tu máquina y después has instaldo Ubuntu, la configuración de GRUB por defecto hará que arranque Ubuntu. Si por algún motivo necesitas que arranque Windows por defecto, veamos los pasos a seguir. Edita el fichero de definición de los arranques disponibles:
$ sudo gedit /boot/grub/menu.lst
Busca la línea
default 0
Cambia el 0 por el número que ocupe el Sistema Operativo en la lista que quieres que se inicie por defecto, empezando por 0. Una vez modificado este fichero tendrás que actualizar la información del inicio:
$ sudo update-grub
Cambiar el tiempo de espera
GRUB deja por defecto 10 segundos para permitir la selección de sistema operativo o versión de kernel. Este tiempo puede parecer excesivo o demasiado breve. Para modificarlo basta con editar el archivo de configuración del menú de GRUB:
$ sudo gedit /boot/grub/menu.lst
Busca la línea