Adicionar PPA no Ubuntu 16.04

Adicionar PPA no Ubuntu 16.04

Sou muito novo no Ubuntu. Estou tentando atualizar meu texlive no Ubuntu 16.04 de 2015 para 2017 seguindoesseinstrução. Eu adicionei estes 2 arquivos à minha lista de fontes:

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

E eu corro sudo apt-get updatecom sucesso!

mas na próxima etapa estou enfrentando um erro:

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

Eu também fiz:

sudo apt-get install --reinstall ca-certificates

e repita o processo, mas sem chance! Ficaria grato se alguém pudesse ajudar?!

Responder1

Você não precisa adicionar o PPA duas vezes. A maneira mais fácil é através do add-apt-repository. Você encontra o PPA neste link,

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

e descreve como usá-lo,

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

Esses comandos funcionam para mim (testei em 16.04.1 LTS - live). Talvez tenha havido uma falha temporária. Talvez tenha ocorrido um erro porque você tentou adicionar o PPA duas vezes.

informação relacionada