Warum empfiehlt jeder die Verwendung von ppa?
Zum Beispiel...
Warum nicht einfach:
sudo apt-get install grub-customizer
und warum: So etwas ...
sudo add-apt-repository ppa:xyz/grub-customizer
sudo apt-get update sudo
apt-get install grub-customizer
EDIT: Ok, wie kann man dann das zuvor hinzugefügte ppa entfernen? Gibt es einen Befehl zum Entfernen?
Vielen Dank
sudo add-apt-repository --remove ppa:nameof/ppa. Wenn Sie bereits ein Paket von diesem ppa installiert haben und die Installation vollständig rückgängig machen möchten, ist ppa-purge die Option. Weitere Informationen finden Sie hier: webupd8.org/2012/02/how-to-use-launchpad-ppa-add-remove.html