Desde el terminal:
1.- sudo add-apt-repository ppa:danielrichter2007/grub-customizer
2.- sudo apt-get update
3.- sudo apt-get install grub-customizer

Esto habrá creado en el menú Aplicaciones–>Herramientas del Sistema un acceso a grub-customizer.

Anuncios