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 procurei no Ubuntu Software Center, mas não consigo encontrar nada lá.
Por favor, forneça instruções muito claras e básicas.
E: Failed to fetch http://ppa.launchpad.net/adabbas/1stppa/ubuntu/dists/zesty/main/binary-i386/Packages 404 Not Found
O PPA mudou desde o Ubuntu 17.04:
Então corra com
fonte