Ambos os comandos removem o PPA, mas há uma diferença básica:
sudo add-apt-repository --remove ppa:???/???
Este comando excluirá apenas o conteúdo do arquivo .list
. Não removerá o arquivo em si.
sudo rm /etc/apt/sources.list.d/????.list
Depois de executar este comando, ele removerá completamente o arquivo PPA.
No entanto, na minha opinião, é melhor usar:
sudo rm /etc/apt/sources.list.d/????.list*
Eu geralmente uso o último comando com o asterisco à direita ( *
), porque sempre que adicionarmos qualquer repositório, ele criará dois arquivos em /etc/apt/sources.list.d/
. O primeiro é o arquivo .list
e o segundo é um backup dele, com a extensão .list.save
.
mesmo caso com o comando sudo apt-key del ????
e sudo rm /etc/apt/trusted.gpg.d/file.gpg
. sempre que adicionamos chaves, dois arquivos criados sob /etc/apt/trusted.gpg.d/
file.gpg
e file.gpg~
quando você executa o comando
sudo apt-key del ????
um arquivo file.gpg
será excluído e o segundo permanecerá file.gpg~
como está.
No entanto, na minha opinião, é melhor usar:
sudo rm /etc/apt/trusted.gpg.d/file.gpg*