Voici un guide pour supprimer un PPA sur Ubuntu et les distributions dérivées de cette dernière comme Linux Mint par l’interface graphique et en ligne de commande.
Table des matières
Pré-requis
Avoir un compte avec des droits administrateur
Pourquoi supprimer un PPA ?
Un PPA (Personal Package Archives) est un dépôt de paquets (logiciels) pour Ubuntu et les distributions dérivées de cette dernière. Simple à ajouter et à utiliser, il permet d’installer des applications non présentes sur les dépôts officiels ou d’avoir des versions plus récentes. Mais, bien que pratique, il peut parfois poser des problèmes…
La plupart des PPA sont spécifiques à un logiciel et installeront ou mettront à jour que les paquets liés directement à ce dernier sans toucher au reste du système. Ceux-là peuvent être utilisés, à priori sans mauvaise surprise. Mais on ne sait jamais !
Par contre, d’autres PPA regroupent de nombreux paquets, pas toujours stables ou compatibles entre eux. Ceux-là sont à éviter. Et si vous en avez ajouté, il peut être préférable de les supprimer…
Aussi, certains PPA peuvent avec le temps ne plus être maintenus, avoir changé d’adresse, etc. Dans ces cas, un peu de ménage dans ses sources ne fait pas de mal, car plus vous avez de sources, plus la mise à jour du cache APT (la liste des paquets disponible) sera longue…
Supprimer un PPA sur Ubuntu ou Linux Mint par l’interface graphique
Sur Ubuntu et ses variantes officielles
Lancez Logiciels et mises à jour.
Sur Kubuntu, vous trouverez Sur Kubuntu (KDE), vous trouverez l’accès à son équivalant pour QT dans Discover > Configuration > Software Sources
Allez dans l’onglet Autres logiciels (1), sélectionnez la ligne du PPA à retirer (2) et cliquez sur le bouton Enlever (3).
Alors, saisissez votre mot de passe puis, à la fermeture de la fenêtre de Logiciels et mises à jour, actualisez la liste des paquets.
À la place de le supprimer, vous pouvez désactiver un PPA. Pour cela, il suffit de le décocher. Ainsi, il ne sera plus pris en compte comme source pour l’installation de paquet.
Par la suite, vous pourrez le réactiver en le cochant à nouveau.
Sur Linux Mint
Lancez Sources de logiciels (Menu > Administration > Sources de logiciels) et entrez votre mot de passe.
Allez dans l’onglet PPA (1), sélectionnez la ligne du PPA à retirer (2) et cliquez sur le bouton Supprimer (3)
Alors, confirmez la suppression
Et mettez à jour le cache APT pour actualiser la liste des paquets disponibles.
Supprimer un PPA sur Ubuntu ou Linux Mint en ligne de commande
Dans un terminal, l’ajout d’un PPA sur Ubuntu et ses dérivés, se fait avec la commande :
sudo add-apt-repository ppa:<nom_du_depot>
Puis, vous entrez votre mot de passe et confirmez l’ajout.
La suppression est aussi simple ! Il suffit d’ajouter l’argument --remove après add-apt-repository :
ppa:<nom_du_depot> est à remplacer par le nom du PPA.
Lorsque vous faites sudo apt update (pour mettre à jour le cache APT), la liste de dépôts s’affichent dont les PPA. Ainsi, si vous ne le connaissez pas, vous pouvez retrouver le nom d’un PPA :
Puis entrez votre mot de passe et confirmez sa suppression en appuyant sur la touche Entrée.
Enfin, mettez à jour, votre cache APT :
sudo apt update
Sur Ubuntu, la mise à jour du cache APT se fait automatiquement lors de la suppression, par contre ce n’est pas forcément le cas sur les dérivés comme Linux Mint.
Utiliser PPA purge pour faire un grand nettoyage
Avec les méthodes précédentes, la suppression du PPA de vos sources ne désinstalle ou rétrograde pas les paquets installés depuis ce dernier restent.
Pour cela, il faut utiliser un autre utilitaire : PPA Purge. Ce dernier permet de supprimer un PPA et, en même temps, de désinstaller les paquets installés non présents sur les dépôts officiels et de rétrograder ce qui le sont.
Pour installer PPA Purge depuis les dépôts officiels, dans un terminal, faites :
sudo apt install ppa-purge
Puis, pour supprimer un PPA avec cet outil, faites :
sudo ppa-purge ppa:<nom_du_depot>
ppa:<nom_du_depot> est à remplacer par le nom du PPA.
