Selon Comment supprimer les AAE? il existe principalement 3 méthodes pour se débarrasser d'un PPA:
Utilisez la
add-apt-repositorycommande:sudo add-apt-repository --remove ppa:???/???Supprimez manuellement le
.listfichier:sudo rm /etc/apt/sources.list.d/????.listUtilisez des outils supplémentaires comme par exemple
ppa-purge... (pas le sujet de cette question)
Je suis curieux de savoir quelle est la différence entre la première et la deuxième option, c'est-à-dire qu'il y a quelque chose de plus qui add-apt-repository --removefait, par rapport à la simple suppression du .listfichier?
Un exemple auquel je pourrais penser serait les clés GPG qui ont été installées avec le PPA. Les traitera-t-il add-apt-repositoryet les supprimera-t-il contrairement à la simple rmmodification du .listfichier?
Veuillez noter que ni la suppression des clés GPG ni l'utilisation ppa-purgen'est le sujet de cette question!
/etc/apt/trusted.gpg.d/
add-apt-repositoryet la suppression manuelle du .listfichier. Les clés GPG n'étaient qu'un exemple qui m'est venu à l'esprit ce qui pourrait être une différence. Modification maintenant pour rendre cela plus clair ... - Mais laissez le lien y rester, car il est au moins lié.
add-apt-repositorydevrait également les supprimer.