Quería preguntar qué editores gráficos de GRUB existen para la última versión de Ubuntu (13.10). ¿Y cómo instalo uno? Busqué en el Centro de software de Ubuntu pero no encuentro nada allí.
Proporcione instrucciones muy claras y básicas.
Puedes usar Grub Customizer. El PPA Grub Customizer ahora está disponible para Ubuntu 13.10. Para instalar, simplemente presione Ctrl+ Alt+ Ten su teclado para abrir Terminal. Cuando se abra, ejecute los siguientes comandos:
sudo add-apt-repository ppa:adabbas/1stppa
sudo apt-get update
sudo apt-get install grub-customizer
E: Failed to fetch http://ppa.launchpad.net/adabbas/1stppa/ubuntu/dists/zesty/main/binary-i386/Packages 404 Not Found
El PPA se movió a partir de Ubuntu 17.04:
Luego corre con
fuente