Supprimer les PPA: "add-apt-repository --remove" vs. "rm /etc/apt/sources.list.d/???.list"

14

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/????.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 --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!

Byte Commander
la source
Désolé, je n'ai pas vu votre troisième point. Cela pourrait vous aider: Différence entre "ppa-purge" et "add-apt-repository -r"? . add-apt-repositorydevrait également les supprimer.
Ron
Non, c'est une autre question.
Pilot6
Vous pouvez supprimer des clés de/etc/apt/trusted.gpg.d/
Pilot6
@ Pilot6 Pas de doublon, car ma principale question est la différence entre 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é.
Byte Commander

Réponses:

25

Les deux commandes suppriment le PPA, mais il y a une différence fondamentale:

sudo add-apt-repository --remove ppa:???/???

Cette commande supprimera uniquement le contenu du .listfichier. Il ne supprimera pas le fichier lui-même.

sudo rm /etc/apt/sources.list.d/????.list

Une fois que vous exécutez cette commande, elle supprimera complètement le fichier PPA.

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éera deux fichiers sous /etc/apt/sources.list.d/. Le premier est le .listfichier et le second est une sauvegarde de celui-ci, avec l'extension .list.save.

même cas avec 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.gpget file.gpg~lorsque vous exécutez la commande

sudo apt-key del ????

un fichier file.gpgsera 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*
pl_rock
la source
Pourquoi voudriez-vous supprimer des sauvegardes inoffensives?
muru
@muru !! c'est mon avis, je le fais généralement quand je ne veux plus utiliser ce dépôt. cela dépend des exigences si quelqu'un pense qu'il peut être utile de conserver le système, il peut le garder. Supposons que si j'ai ajouté 30 repo PPA, il y aura 60 fichiers créés. la prochaine fois si j'ajoute ou supprime un dépôt, nous devons faire plus d'efforts pour rechercher n'importe quel fichier et le modifier. ou si vous pensez qu'il peut être utilisable à l'avenir, vous pouvez également commenter les entrées de repo dans le fichier ou vous pouvez copier le contenu de ce fichier quelque part. de toute façon, cela dépend des besoins.
pl_rock
Sérieusement? Oo Vous avez besoin de temps et d'efforts pour parcourir 60 fichiers? Oo
muru
pas de temps, j'ai oublié de changer le nom de ce fichier en nom mémorable puis j'ai passé du temps quel fichier a quelle entrée. comme un nom de fichier comme webupd8.
pl_rock
également dans la version 13, 14 et peut être une version ubuntu antérieure, il y a un bug qui crée un problème si votre clé gpg est supérieure à 40, vous devez supprimer une clé pour en ajouter une nouvelle. bugs.launchpad.net/ubuntu/+source/apt/+bug/1263540
pl_rock
1

Non, apt-add-repository ne gérera pas les clés GPG, donc si vous souhaitez également supprimer les clés, utilisez rm /etc/apt/sources.list.d/???.list puis les clés GPG de / etc / apt / trusted.gpg.d /

David
la source
Les clés ne sont pas stockées dans ces listes.
Pilot6
Je le sais. @ Pilot6
David
Et pourquoi postez-vous cela?
Pilot6