Grub Customizer, la herramienta gráfica para configurar el gestor de arranque Grub, obtuvo una nueva versión hace unos días. El PPA añade soporte para Ubuntu 18.10 Cosmic Cuttlefish.
Grub Customizer es una herramienta sencilla que cuenta con:
- añadir, eliminar, editar las entradas del menú del gestor de arranque.
- Configurar la entrada por defecto del SO, los parámetros del kernel, etc.
- Cambiar la imagen de fondo, la fuente del texto, la resolución, etc.
- Reinstalar el gestor de arranque a Windows MBR
La versión más reciente 5.1.0 características:
- Nuevo icono de la aplicación
- opción de comando
-vpara mostrar la información de la versión. - Actualizaciones de traducción y algunos cambios internos
Cómo instalar Grub Customizer 5.1.0 en Ubuntu:
Para Ubuntu 18.10, y las 3 versiones actuales de Ubuntu LTS (14.04, 16.04, 18.04), instale los paquetes de la nueva versión mediante los siguientes pasos:
1. Abra el terminal desde el App Launcher o mediante el atajo de teclado Ctrl+Alt+T. Cuando se abra, pegue el siguiente comando y ejecútelo para añadir el PPA oficial:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
Escriba la contraseña del usuario (sin asteriscos por motivos de seguridad) cuando se lo pida y pulse Enter para continuar.
2. A continuación, actualice las listas de paquetes e instale el software:
sudo apt-get updatesudo apt-get install grub-customizer
Puede saltarse sudo apt-get update en Ubuntu 18.04 y superior, ya que el paso 1 añadir PPA hacerlo automáticamente.
Una vez instalado, ejecutarlo desde el menú de aplicaciones y disfrutar!
Desinstalar:
Para eliminar el software, ejecute el comando en la terminal:
sudo apt-get remove --autoremove grub-customizer
Y abrir Software & Actualizaciones y navegar a la pestaña Otro Software para eliminar los repositorios PPA de terceros.