De acordo com Como os PPAs podem ser removidos? existem principalmente três métodos para se livrar de um PPA:
Use o
add-apt-repository
comando:sudo add-apt-repository --remove ppa:???/???
Remova manualmente o
.list
arquivo:sudo rm /etc/apt/sources.list.d/????.list
Use ferramentas adicionais, como por exemplo
ppa-purge
... (não é o tópico desta pergunta)
Estou curioso para saber qual é a diferença entre a primeira e a segunda opção, ou seja, existe algo mais que add-apt-repository --remove
isso, comparado a apenas excluir o .list
arquivo?
Um exemplo em que eu poderia pensar seria em chaves GPG que foram instaladas juntamente com o PPA. Manipulará add-apt-repository
e removerá os arquivos em contraste com apenas rm
o .list
arquivo?
Observe que nem a remoção de chaves GPG nem o uso ppa-purge
é o tópico desta pergunta!
/etc/apt/trusted.gpg.d/
add-apt-repository
e a exclusão manual do .list
arquivo. As chaves GPG foram apenas um exemplo que me veio à mente o que poderia ser uma diferença. Editando agora para deixar isso mais claro ... - Mas deixe o link ficar lá, pois pelo menos está relacionado.
add-apt-repository
deve removê-los também.