GRUB Customizer, herramienta muy util y sencilla para habilitar/deshabilitar entradas, cambiar el valor por defecto, el orden o los colores del menu.
Para instalarlo en una terminal ejecuta:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
Una vez hecho esto, lo ejecutamos con:
gksudo grub-customizer &
o desde Herramientas del Sistema > Grub Customizer
Para instalarlo en una terminal ejecuta:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
Una vez hecho esto, lo ejecutamos con:
gksudo grub-customizer &
o desde Herramientas del Sistema > Grub Customizer