Comment supprimer un PPA dans Ubuntu

Longtemps avant l’arrivée des systèmes de distribution instantanée, la méthode privilégiée pour obtenir rapidement des mises à jour logicielles sur Ubuntu était l’utilisation d’archives de paquets personnels (PPA). Cette approche permettait aux développeurs de diffuser plus aisément leurs créations, même si elles n’étaient pas encore intégrées officiellement à Ubuntu. Bien que les PPA existent toujours, leur usage a tendance à diminuer. L’ajout de ces sources peut s’avérer complexe, et leur sécurité est parfois incertaine. De plus, le support des PPA peut cesser avec le temps, risquant de perturber les installations Ubuntu. Alors, comment supprimer un PPA de votre système ? La procédure est en fait plus simple qu’on ne le pense ! Découvrons ensemble les deux meilleures méthodes pour éliminer un PPA sous Ubuntu.

Note importante : les utilisateurs de Linux Mint, Elementary OS et d’autres distributions fortement dérivées d’Ubuntu utilisent également des PPA. Certaines de ces versions peuvent ne pas posséder la même application « Logiciels et mises à jour » qu’Ubuntu. Par conséquent, il est recommandé à ces utilisateurs de suivre les instructions de suppression via l’utilitaire PPA Purge pour un résultat optimal.

Suppression d’un PPA via les paramètres d’Ubuntu

La méthode graphique pour désinstaller un dépôt logiciel (PPA ou autre) d’Ubuntu passe par l’application « Logiciels et mises à jour ». Cette approche est idéale pour les débutants car elle ne nécessite que quelques clics. Pour commencer, appuyez sur la touche Windows de votre clavier et tapez « Logiciels et mises à jour » dans la barre de recherche.

Le chargement de l’application peut prendre un certain temps car le système doit actualiser les sources logicielles pour vérifier qu’elles sont à jour. Une fois l’opération terminée, explorez les différents onglets. Cherchez la section « Autres logiciels ». C’est dans cette zone qu’Ubuntu regroupe toutes les sources logicielles tierces non essentielles. Pour supprimer un PPA, sélectionnez-le avec la souris puis cliquez sur le bouton « Supprimer ».

Répétez cette opération pour chaque dépôt et PPA que vous souhaitez désinstaller d’Ubuntu. Une fois terminé, fermez l’application. L’outil de gestion des sources mettra à jour les sources logicielles pour prendre en compte les changements.

Suppression d’un PPA via le terminal avec PPA Purge

Le terminal est un outil puissant pour gérer les PPA. Ubuntu étant également un système d’exploitation serveur, beaucoup de serveurs n’ont pas d’interface graphique. Dans ces situations, la suppression de PPA par la méthode traditionnelle Ubuntu peut s’avérer fastidieuse. Heureusement, il existe une alternative performante : PPA Purge. Cet utilitaire permet de supprimer facilement et rapidement les archives de paquets personnels d’Ubuntu.

Installation

Pour installer PPA Purge, commencez par effectuer une mise à jour du système. Cela garantit qu’Ubuntu possède les dernières versions des logiciels nécessaires pour l’installation.

sudo apt update

Ensuite, installez PPA Purge à l’aide de la commande suivante :

sudo apt install ppa-purge

Note : certaines versions récentes d’Ubuntu, ainsi que les distributions dérivées, peuvent ne pas inclure ce programme. Si tel est votre cas, rendez-vous sur pkgs.org pour télécharger directement le fichier de package Debian.

Utilisation de PPA Purge

PPA Purge est très facile à utiliser si vous vous souvenez du nom du dépôt que vous souhaitez supprimer. Cependant, il est rare de mémoriser le nom de toutes les sources tierces. Dans ce cas, il est judicieux d’utiliser les fonctionnalités du système UNIX. Prenons l’exemple du thème PPA Adapta GTK3.

La première étape consiste à consulter l’historique du terminal. L’historique du shell Linux est très utile car il conserve une trace de chaque commande exécutée dans Bash (ou d’autres shells).

Pour consulter l’historique dans son intégralité, utilisez la commande :

history

Vous pouvez également faciliter la lecture en utilisant :

history | more

Parcourir l’historique du terminal est un moyen efficace de retrouver le dépôt, car il affichera la commande qui l’a ajouté. Cela fonctionne dans la plupart des cas, mais peut prendre du temps. Pour accélérer le processus, utilisez la commande grep.

history | grep "ppa:"

ou

history | grep "sudo add-apt-repository"

Ces commandes examineront l’historique et identifieront les lignes que vous avez ajoutées entre guillemets. N’hésitez pas à personnaliser la recherche grep en fonction de vos besoins.

Après avoir localisé le PPA à supprimer dans l’historique, utilisez PPA Purge pour le désinstaller de votre système.

sudo ppa-purge ppa:tista/adapta

Après avoir supprimé le PPA, effectuez une mise à jour pour qu’Ubuntu prenne en compte les modifications.

sudo apt update

Conclusion

Les archives de paquets personnels simplifient les mises à jour logicielles sur les anciennes versions d’Ubuntu. Cependant, elles peuvent parfois être négligées, devenir obsolètes et provoquer des erreurs lors des mises à jour. Les développeurs d’Ubuntu ont considérablement amélioré le système, réduisant de plus en plus la nécessité d’utiliser des PPA.

Bien qu’ils puissent parfois poser des problèmes, les PPA restent très utiles pour l’utilisateur moyen. Il est donc essentiel de savoir comment les gérer et les supprimer.