Selon Comment supprimer un PPA? Il existe principalement 3 méthodes pour se débarrasser d’un PPA:
Utilisez la commande add-apt-repository
:
Sudo add-apt-repository --remove ppa:???/???
Supprimez manuellement le fichier .list
:
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.-à-d. Y a-t-il autre chose que ne fait add-apt-repository --remove
par rapport à la suppression du fichier .list
?
Un exemple auquel je pourrais penser serait les clés GPG qui ont été installées avec le PPA. add-apt-repository
va-t-il les gérer et les supprimer contrairement à simplement rm
- dans le fichier .list
?
Veuillez noter que ni la suppression des clés GPG, ni l'utilisation de ppa-purge
ne sont le sujet de cette question!
Les deux commandes suppriment le PPA, mais il existe une différence fondamentale:
Sudo add-apt-repository --remove ppa:???/???
Cette commande ne supprimera que le contenu du fichier .list
. Cela ne supprimera pas le fichier lui-même.
Sudo rm /etc/apt/sources.list.d/????.list
Une fois que vous avez exécuté cette commande, le fichier PPA sera complètement supprimé.
Cependant, à mon avis, il vaut mieux utiliser:
Sudo rm /etc/apt/sources.list.d/????.list*
J'utilise généralement la dernière commande avec l'astérisque de fin (*
), car chaque fois que nous ajoutons un référentiel, il crée deux fichiers sous /etc/apt/sources.list.d/
. Le premier est le fichier .list
et le second est une sauvegarde de celui-ci, ayant l'extension .list.save
.
même cas avec la commande Sudo apt-key del ????
et Sudo rm /etc/apt/trusted.gpg.d/file.gpg
. chaque fois que nous ajoutons des clés à deux fichiers créés sous /etc/apt/trusted.gpg.d/
file.gpg
et file.gpg~
lorsque vous exécutez la commande
Sudo apt-key del ????
un fichier file.gpg
sera supprimé et le second restera file.gpg~
tel quel. Cependant, à mon avis, il vaut mieux utiliser:
Sudo rm /etc/apt/trusted.gpg.d/file.gpg*
Non, apt-add-repository ne gérera pas les clés GPG, donc si vous souhaitez également les supprimer, utilisez rm /etc/apt/sources.list.d/???.list, puis les clés GPG de/etc/apt/trusted.gpg.d /