Ubuntu 16.04にPPAを追加する

Ubuntu 16.04にPPAを追加する

私はUbuntu初心者です。Ubuntu 16.04のTexliveを2015から2017にアップグレードしようとしています。これ指示。次の 2 つのファイルをソース リストに追加しました。

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

そして sudo apt-get update無事に走りました!

しかし、次のステップでエラーが発生します:

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

私はまた、次のこともしました:

sudo apt-get install --reinstall ca-certificates

同じ手順を繰り返しましたが、チャンスはありません。誰かが助けてくれるとありがたいです。

答え1

PPAを2回追加する必要はありません。簡単な方法は ですadd-apt-repository。PPAはこのリンクにあります。

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

そして使い方も説明されています。

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

これらのコマンドは私の環境では機能します (16.04.1 LTS - live でテストしました)。一時的な不具合があったのかもしれません。PPA を 2 回追加しようとしたためにエラーが発生したのかもしれません。

関連情報