Resumen de Personalizando el gestor de arranque GRUB
GRUB es la herramienta encargada de iniciar los distintos sistemas operativos instalados en un ordenador. En las próximas páginas vamos a estudiar cómo cambiar su configuración para optimizar su arranque y personalizar los colores e imágenes de fondo del menú.
