Eu queria perguntar quais editores gráficos do GRUB existem para a versão mais recente do Ubuntu (13.10)? E como eu instalo um? Eu pesquisei através do Ubuntu Software Center, mas não consigo encontrar nada lá.
Por favor, forneça instruções claras e básicas.
Você pode usar o Grub Customizer. O PUB Customizer PPA agora está disponível para o Ubuntu 13.10. Para instalar, basta pressionar Ctrl + Alt + T no seu teclado para abrir o Terminal. Quando se abre, execute o (s) comando (s) abaixo:
sudo add-apt-repository ppa:adabbas/1stppa
sudo apt-get update
sudo apt-get install grub-customizer
O PPA foi movido a partir do Ubuntu 17.04:
sudo add-apt-repository ppa:danielrichter2007/grub-customizer
sudo apt-get update
sudo apt-get install grub-customizer
Em seguida, execute com
grub-customizer
Tags grub2