PPA in Ubuntu 16.04 hinzufügen

PPA in Ubuntu 16.04 hinzufügen

Ich bin sehr neu in Ubuntu. Ich versuche, mein Texlive in Ubuntu 16.04 von 2015 auf 2017 zu aktualisieren.DasAnweisung. Ich habe diese beiden Dateien zu meiner Quellliste hinzugefügt:

deb http://ppa.launchpad.net/jonathonf/texlive-2017/ubuntu xenial main 
deb-src http://ppa.launchpad.net/jonathonf/texlive-2017/ubuntu xenial main 

Und ich laufe sudo apt-get updateerfolgreich!

aber im nächsten Schritt tritt ein Fehler auf:

sudo add-apt-repository ppa:jonathonf/texlive-2017
Cannot add PPA: 'ppa:~jonathonf/ubuntu/texlive-2017'.
ERROR: '~jonathonf' user or team does not exist.

Ich habe auch Folgendes gemacht:

sudo apt-get install --reinstall ca-certificates

und wiederhole den Vorgang, aber keine Chance! Wäre dankbar, wenn jemand helfen könnte?!

Antwort1

Sie müssen das PPA nicht zweimal hinzufügen. Der einfache Weg ist über add-apt-repository. Sie finden das PPA unter diesem Link,

launchpad.net/~jonathonf/+archive/ubuntu/texlive-2017

und es wird beschrieben, wie man es benutzt,

sudo add-apt-repository ppa:jonathonf/texlive-2017
sudo apt-get update

Diese Befehle funktionieren bei mir (ich habe sie in 16.04.1 LTS – live – getestet). Vielleicht gab es einen vorübergehenden Fehler. Vielleicht ist ein Fehler aufgetreten, weil Sie versucht haben, das PPA zweimal hinzuzufügen.

verwandte Informationen