Secondo Come si possono rimuovere i PPA? ci sono principalmente 3 metodi per sbarazzarsi di un PPA:
Usa il
add-apt-repository
comando:sudo add-apt-repository --remove ppa:???/???
Rimuovere manualmente il
.list
file:sudo rm /etc/apt/sources.list.d/????.list
Utilizza strumenti aggiuntivi come ad esempio
ppa-purge
... (non argomento di questa domanda)
Sono curioso di sapere qual è la differenza tra la prima e la seconda opzione, ovvero c'è qualcos'altro che add-apt-repository --remove
fa, rispetto alla semplice eliminazione del .list
file?
Un esempio che mi viene in mente potrebbe essere le chiavi GPG che sono state installate insieme al PPA. Sarà add-apt-repository
gestire e rimuoverli in contrasto con appena rm
-ing la .list
lima?
Si prega di notare che né rimuovere le chiavi GPG né utilizzare ppa-purge
è l'argomento di questa domanda!
/etc/apt/trusted.gpg.d/
add-apt-repository
e l'eliminazione manuale del .list
file. Le chiavi GPG erano solo un esempio che mi è venuto in mente quale potrebbe essere la differenza. Modifica ora per renderlo più chiaro ... - Ma lascia che il link rimanga lì, poiché è almeno correlato.
add-apt-repository
dovrebbero rimuoverli pure.