Qu’est ce que sont les dépôts PPA ?

Revenons sur ce qu’est un dépôt PPA car avant d’en ajouter un, vous devriez être au courant des risques encourus.

1.Définition

Les PPA pour Personal Package Archives sont des dépôts non officiel de paquets logiciels mis à disposition de tous et ce à travers la plate-forme LaunchPad développé et maintenu par Canonical. Les développeurs désireux de mettre à disposition le fruit de leur travail aux utilisateurs d’Ubuntu dépose leur code source sur ce site. Launchpad se charge ensuite de générer des paquets .deb à destination des différentes versions d’Ubuntu que les utilisateurs d’Ubuntu pourront ensuite installer grâce à leur gestionnaire de paquets logiciels.

2.Avertissements

  • Les paquets disponibles sur les dépôts PPA ne sont maintenus par Canonical.En effet chaque dépôt PPA est maintenu par un développeur voir une équipe de développement. Donc en activant ces dépôts PPA, vous reconnaissez faire confiance à leurs auteurs.
  • Les dépôts PPA peuvent contenir plusieurs logiciels pouvant dépendre de plusieurs bibliothèques mises à jour pour ces logiciels. Il est donc possible l’installation de ces mises à jour puissent avoir un impact sur la stabilité de votre installation d’Ubuntu.

3.Commandes utiles

Ici je ne documenterai que les commandes disponible via la ligne de commande shell. Pour ouvrir une fenêtre terminal tapez la séquence de touche Ctrl+Alt+T :

3.1.Activation d’un dépôt PPA

La commande add-apt-repository permet d’ajouter un dépôt PPA à la configuration de votre gestionnaire de paquest apt. C’est à dire qu’il ajoute le fichier de configuration nécessaires et qu’il télécharge et installe aussi les certificats GPG utilisé pour leur authentification.

sudo add-apt-repository ppa:nom_du_dépôt

Pour information cette commande génère deux fichiers dans le dossier /etc/apt/sources.list.d nommés nom_du_ppa.list et nom_du_ppa.list.save

3.2.Lister les dépôts PPA activé

Pour lister les dépots activés sur installation d’ubuntu il suffit d’entrer la commande suivante :

egrep -vh '^#|^ *$' /etc/apt/sources.list.d/*.list

Cette commande va afficher toutes les lignes non commentées donc active présentes dans les fichiers du répertoires /etc/apt/sources.list.d. Vous devriez obtenir le résultat suivant :

deb http://ppa.launchpad.net/gwendal-lebihan-dev/cinnamon-stable/ubuntu saucy main
deb ftp://ftp.videolan.org/pub/debian/stable ./
deb http://ppa.launchpad.net/numix/ppa/ubuntu saucy main
deb http://ppa.launchpad.net/otto-kesselgulasch/gimp/ubuntu saucy main
deb http://ppa.launchpad.net/snwh/moka-icon-theme-daily/ubuntu saucy main
deb http://ppa.launchpad.net/tualatrix/next/ubuntu saucy main
deb http://ppa.launchpad.net/webupd8team/y-ppa-manager/ubuntu saucy main

Pour retrouver le nom du dépôt PPA il suffit de prendre ce qui entredeb http://ppa.launchpad.net/ et /ubuntu saucy main
Si on prend la dernière ligne, cela donne : webupd8team/y-ppa-manager
Donc le dépôt PPA est ppa:

webupd8team/y-ppa-manager

Si on prend la dernière ligne le dépot ppa est

3.3.Suppression d’un dépôt PPA

Cela peut être fait de plusieurs manières différentes mais je vous conseille de privilégier la première car vous effacez pratiquement toutes les traces de l’utilisation du dépôt PPA.

3.3.1.Suppression d’un dépôt PPA avec les paquets associés

Pour purger toutes traces de l’utilisation d’un dépôt PPA il suffit d’utiliser la commande ppa-purge. Étrangement cette commande n’est pas installée par défaut il faut donc le faire :

sudo apt-get install ppa-purge

L’utilisation de cette commande est simple puisqu’il suffit juste d’ajouter le nom du dépôt PPA retrouver avec la commande donnée plus haut :

sudo ppa-purge webupd8team/y-ppa-manager

3.3.1.Suppression d’un dépôt PPA avec les paquets associés
Dans ce cas vous garderez tous les paquets que vous aurez installé et donc votre système risque d’être bancal.

sudo add-apt-repository -remove ppa:nom_du_dépôt

Si vous avez des questions n’hésitez pas à les poser !