Les PPA (Personnal Package Archives) sont quelque chose de formidable permettant à tout a chacun de mettre a disposition ses logiciels packagés ou le packaging d’un logiciel qui autrement ne serait disponible que par ses sources.
Depuis Ubuntu 9.10 l’ajout d’un PPA dans la liste des dépôts utilisé se fait très simplement avec un simple :
add-apt-repository ppa:[nom du ppa]
(Avant Il fallait ajouter l’adresse du dépôt dans /etc/apt/source.list et ajouter la clé publique du dépôt via sudo apt-key adv –keyserver [serveur de clé] –recv-key [identifiant de la clé])
Par contre si on souhaite revenir en arrière et ne plus utiliser un PPA que l’on avait préalablement ajouté, il n’existe pas de commande simple.
En effet la suppression du fichier .list correspondant au PPA dans /etc/apt/source.list.d/, la suppression de la clé via apt-key del puis l’update et enfin l’upgrade du PC ne suffisent pas à revenir en arrière.
La solution que j’utilisais jusqu’à maintenant consistait a supprimer les package mis a jour avec le PPA et à les ré-installer après avoir fait les manipulations ci-dessus (dans la cas où le PPA fournissait une mise à jour de packages présent dans les dépôts classique sinon rien du tout).
Mais j’ai il y a peu de temps découvert un outils qui facilite grandement la suppression d’un PPA, il se nomme ppa-purge et est disponible sur le PPA de xorg-edger.
Ce PPA mettant à disposition de nombreux package en rapport avec xorg, je déconseille son ajout si vous souhaitez juste ajouter ppa-purge.
Il est donc préférable de télécharger le dernier fichier .deb sur la page https://launchpad.net/~xorg-edgers/+archive/ppa/+packages et de l’installer via :
sudo dpkg -i ppa-purge*.deb
Au moment où j’écris ce post le lien direct vers le fichier deb est :
https://launchpad.net/~xorg-edgers/+archive/ppa/+files/ppa-purge_0.2.7_all.deb
On enlève ensuite un PPA avec la simple commande :
ppa-purge -p [nom du PPA]
A noter que cet outil sera intégré aux dépôts officiel d’Ubuntu en version 10.10
L’outil Ubuntu Tweak (que je n’ai personnellement jamais utilisé) offre aussi cette fonctionnalité.
Sources :
How to safely remove PPA Repository from Ubuntu
Remove PPA Repositories Via Command Line [Quick Ubuntu Tip]
PPA Purge: Downgrade d’un PPA vers une version officielle Ubuntu
Image Par darinmarshall sous CC BY-SA
