Selon Comment supprimer les AAE? il existe principalement 3 méthodes pour se débarrasser d'un PPA:
Utilisez la
add-apt-repository
commande:sudo add-apt-repository --remove ppa:???/???
Supprimez manuellement le
.list
fichier:sudo rm /etc/apt/sources.list.d/????.list
Utilisez 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 --remove
fait, par rapport à la simple suppression du .list
fichier?
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-repository
et les supprimera-t-il contrairement à la simple rm
modification du .list
fichier?
Veuillez noter que ni la suppression des clés GPG ni l'utilisation ppa-purge
n'est le sujet de cette question!
/etc/apt/trusted.gpg.d/
add-apt-repository
et la suppression manuelle du .list
fichier. 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-repository
devrait également les supprimer.