Para cambiar las opciones del gestor de arranque de Ubuntu (GRUB) ya no sirve el clásico sudo gedit /boot/grub/menu.lst
Ahora, se hace con sudo gedit /boot/grub/grub.cfg
Mejor no cambiar más cosas si no se sabe lo que se está haciendo: podemos imposibilitar el arranque.
No hay comentarios:
Publicar un comentario