#temas de arranque

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-c…