Trucos Terminal (VIII): editar GRUB desde Ubuntu 12.04
Sección:
GNU/Linux y Software Libre.
Para cambiar las opciones del gestor de arranque de Ubuntu (GRUB) ya no sirve el clásico
sudo gedit /boot/grub/menu.lst (o cambiando gedit por tu editor de texto favorito). Me he encontrado con que en Ubuntu 12.04 este archivo no existe, así que he buscado la manera de hacer lo mismo desde la Terminal
en la última versión de la distro de Canonical. Resulta que ahora
tenemos que abrir este archivo de configuración, con permisos de
administrador activados:sudo gedit /boot/grub/grub.cfg
Hay que cambiar en la linea
set default="4"
por la línea del menú que nos interese que sea la que arranque por
defecto. Para ello hay que contar desde la primera línea que encontremos
con la cadena menuentry, con el siempre útil comando de buscar Ctrl + F, teniendo en cuenta que la primera línea que nos topemos, de arriba a abajo, cuenta como 0, la segunda como 1 y así sucesivamente.
Hay más opciones que se pueden cambiar
en este fichero, pero es mejor que os informéis un poco antes de hacer
cambios a este importantísimo archivo de sistema, sin el cual, o con
líneas modificadas mal formadas, no arrancaría nuestro ordenador.
Visto en este videotutorial. La diferencia es que yo he usado gedit en vez de nano. Todo lo demás es idéntico.
Cap comentari:
Publica un comentari a l'entrada