Beaucoup de temps avant les paquets instantanés, la nouvelle façon deObtenir immédiatement des mises à jour logicielles sur Ubuntu s’appuyait sur une archive de paquets personnelle. Avec cette technologie, les développeurs pourraient plus facilement livrer leurs programmes même lorsque Ubuntu ne le leur permettrait pas. De nos jours, les AAE existent toujours, mais sont de moins en moins utilisés. Cela est dû au fait que l’ajout de PPA peut être déroutant et la sécurité qui l’entoure peut être incertaine. De plus, les PPA perdent souvent le support actif après un certain temps et peuvent totalement casser une installation Ubuntu. Alors, comment supprimer un PPA ajouté de votre système? Il s'avère que c'est plus simple que beaucoup pourraient penser! Suivez les étapes ci-dessous pour découvrir les deux meilleurs moyens de supprimer un PPA sous Ubuntu.
Remarque: Les utilisateurs de Linux Mint, de Elementary OS et d’autres systèmes d’exploitation fortement basés sur Ubuntu utilisent également des PPA. Certains de ces systèmes d'exploitation peuvent ne pas avoir la même application «Logiciels et mises à jour» qu'Ubuntu. Par conséquent, les utilisateurs de ces systèmes d'exploitation doivent suivre les instructions de purge PPA pour obtenir les meilleurs résultats.
Supprimer un PPA - Paramètres Ubuntu
La manière graphique de supprimer un logicielLe référentiel (PPA ou non) d'Ubuntu se fait dans l'application «Logiciels et mises à jour». Cette méthode est la meilleure pour les débutants, car elle ne prend que quelques clics. Pour commencer, appuyez sur la touche Windows de votre clavier et recherchez «Logiciels et mises à jour».
Au moment du chargement de l'application Logiciels et mises à jour,Prenez le temps nécessaire au système pour actualiser les sources de logiciels afin de vous assurer que tout est à jour. Une fois que cela se termine, regardez dans le programme et notez les nombreux onglets. Recherchez «autre logiciel». C'est dans cette section que le système d'exploitation Ubuntu place toutes les sources de logiciels tiers non essentielles. Pour supprimer l'un d'entre eux, sélectionnez-le avec la souris, puis cliquez sur le bouton “Supprimer”.
Répétez cette procédure pour chaque référentiel logicielet PPA que vous souhaitez supprimer d’Ubuntu. Une fois cela fait, fermez l'application. Lors de la fermeture, l'outil Sources de logiciels actualisera à nouveau les sources de logiciels pour refléter les modifications.
Supprimer un PPA - Terminal avec purge PPA
Le terminal est un excellent moyen de traiter les AAE. La raison en est qu’Ubuntu est également un système d’exploitation serveur, et beaucoup de ces serveurs ne disposent pas d’un bureau Ubuntu de base. Ainsi, purger les archives de paquets personnels du système à l’aide de la méthode traditionnelle Ubuntu peut s’avérer très fastidieux. Heureusement, il existe une alternative solide à la console: PPA Purge. Cela facilite la suppression rapide des archives de paquets personnels d’Ubuntu.
Installation
Pour installer le logiciel PPA Purge, commencez par exécuter une mise à jour logicielle. Cela garantira qu'Ubuntu dispose du logiciel le plus récent et le plus à jour préparé pour l'installation du programme.
sudo apt update
Ensuite, installez PPA Purge avec:
sudo apt install ppa-purge
Remarque: certaines versions ultérieures d'Ubuntu peuvent ne pas avoir le programme. Cela vaut également pour les distributions basées sur Ubuntu. Si cela vous arrive, rendez-vous sur pkgs.org et téléchargez directement le fichier de paquet Debian.
Utilisation de la purge PPA
PPA Purge est très facile à utiliser si vous vous souvenez dunom d'un référentiel ajouté précédemment. Cependant, tout le monde n'a pas la capacité de se souvenir des sources de logiciels tiers ésotériques. Dans ce cas, la meilleure solution consiste à mettre le système de tuyauterie UNIX en service. Dans cet exemple, nous utiliserons le PPA du thème Adapta GTK3.
La première étape consiste à regarder à travers votre terminalhistoire. La fonction d'historique du shell Linux est très utile, car elle garde essentiellement un journal de chaque utilisateur de commande de console dans Bash (et d'autres shells).
Voir l'historique en même temps avec:
history
Vous pouvez également faciliter la navigation dans l'historique en:
history | more
Parcourir l'historique de la console est un très bonmoyen de trouver le référentiel, car il affichera la commande qui l'a ajouté. Cela fonctionne dans la plupart des cas, mais peut prendre un certain temps. Pour en faire le travail rapidement, envisagez d’utiliser la commande grep.
history | grep "ppa:"
ou
history | grep "sudo add-apt-repository"
Ces commandes examineront l’historique et identifieront les éléments que vous avez ajoutés entre guillemets. N'hésitez pas à personnaliser le grep en fonction de ce qui vous convient le mieux.
Après avoir trouvé le bon PPA en recherchant dans l'historique Bash, connectez-le à la purge du PPA pour le supprimer du système.
sudo ppa-purge ppa:tista/adapta
Après avoir purgé le PPA de votre système, lancez une mise à jour pour qu'Ubuntu reflète les modifications apportées.
sudo apt update
Conclusion
Les archives de paquets personnels rendent très facile lamettre à jour le logiciel sur les anciennes versions d'Ubuntu. Le problème, c'est qu'ils sont parfois négligés, périmés et polluent le processus de mise à jour par des erreurs. Les développeurs Ubuntu ont fait un excellent travail au fil des ans, rendant de moins en moins le besoin de PPA pour résoudre ce problème.
Bien qu’ils soient parfois gênants, les archives de paquets personnels sont très utiles pour l’utilisateur moyen, c’est pourquoi il est si important de savoir comment les supprimer.
commentaires