Cómo instalar Grub-Customizer en Ubuntu 18.04.

Grub-Customizer es una herramienta increíblemente útil a la hora de optimizar tu Grub (gestor de arranque). Te permite gestionar todas las distribuciones Linux que tengas instaladas en tu equipo y personalizar el gestor de arranque, además puedes dar opciones como variar el tiempo de espera o establecer uno por defecto.

Para instalarlo en Ubuntu 18.04 solo debes hacer lo siguiente:

sudo add-apt-repository ppa:danielrichter2007/grub-customizer

sudo apt-get update

sudo apt-get install grub-customizer

Con esto ya lo tendrás disponible.

Si quieres desinstalarlo, simplemente debes hacer:

sudo apt-get remove --autoremove grub-customizer

¡Fácil, verdad?

___________________________

Fuente: Tips on Ubuntu.