Quand vous voulez installer un logiciel sur votre système Ubuntu, vous vous référez d’abord au dépôt officiel Ubuntu listé dans le fichier sources.list de votre système. Si le logiciel n’y est pas disponible, vous pouvez l’installer par le biais de n’importe quel dépôt PPA sur lequel il est disponible. Les dépôts PPA sont des dépôts non officiels de ces paquets logiciels qui sont mis à la disposition des utilisateurs par Launchpad. Launchpad, une plateforme développée par Canonical, permet aux développeurs d’y télécharger leur code où des paquets .deb sont mis à disposition des utilisateurs pour qu’ils puissent installer le logiciel à partir de celui-ci.
Dans cet article, nous allons décrire comment utiliser la ligne de commande Ubuntu et l’interface graphique afin de :
- Lister les dépôts PPA ajoutés à votre système
- Ajouter un dépôt PPA à votre système pour télécharger des logiciels depuis
- Supprimer un dépôt PPA ajouté de votre système
Nous avons exécuté les commandes et les procédures mentionnées dans cet article sur un système Ubuntu 18.04 LTS.
Gestion des dépôts PPA par la ligne de commande
Si vous êtes comme moi qui préfère utiliser la ligne de commande pour effectuer toutes les opérations administratives sur Linux, voici comment vous pouvez effectuer une gestion de base des dépôts sur Ubuntu.
Vous pouvez ouvrir la ligne de commande Ubuntu, le Terminal, soit par le Dash du système, soit par le raccourci Ctrl+Alt+T.
Liste des dépôts PPA ajoutés
Si vous voulez lister tous les dépôts disponibles sur votre système Ubuntu, entrez la commande suivante dans le Terminal :
$ apt policy
Une autre méthode pour lister tous les dépôts PPA ajoutés consiste à imprimer le contenu du répertoire /etc/apt/sources.list.d. Ce répertoire contient la liste de tous les dépôts disponibles sur votre système.
Voici comment utiliser la commande :
$ ls /etc/apt/sources.list.d
Ajouter un dépôt PPA
Seul un utilisateur autorisé peut ajouter/supprimer et configurer des logiciels et des dépôts dans Ubuntu. Voici la syntaxe de la commande que vous pouvez utiliser en tant que sudo afin d’ajouter un PPA à votre système:
$ add-apt-repository ppa:ppa_name
Et ensuite installer le paquet requis à partir du dépôt ajouté en tant que sudo comme suit:
$ apt install package_name
Dans Ubuntu 18.04, vous n’avez pas besoin d’utiliser la commande apt-get update après avoir ajouté un nouveau dépôt car le système effectue automatiquement cette opération. Dans les versions antérieures d’Ubuntu, vous deviez exécuter la commande suivante avant d’installer un paquet afin de pouvoir installer la dernière version disponible d’un logiciel:
$ sudo apt-get update
Exemple:
Présentons un exemple où nous allons ajouter le dépôt PPA Thomas Schiex à notre système que nous utiliserons plus tard pour installer Blender, une suite de création 3D.
Nous allons ajouter le PPA par le biais de la commande suivante en tant que sudo:
$ sudo add-apt-repository ppa:thomas-schiex/blender
Maintenant que le PPA est ajouté, il est aussi simple que de saisir la commande suivante pour installer la dernière application Blender :
$ sudo apt-get install blender
Supprimer un dépôt PPA
Si vous voulez supprimer un dépôt PPA ajouté de votre système, vous pouvez utiliser la syntaxe de la commande suivante comme sudo:
$ add-apt-repository -remove ppa:ppa_name
La commande ci-dessus ne supprime que le PPA de votre système et non le logiciel que vous avez installé par son intermédiaire.
Par exemple, afin de supprimer le dépôt que j’ai ajouté dans la section précédente, je vais exécuter la commande suivante dans le Terminal:
$ add-apt-repository --remove ppa:thomas-schiex/blender
Purger un dépôt
Purger un dépôt signifie le supprimer de votre système et également déclasser les paquets logiciels que vous avez téléchargés par son intermédiaire. Il existe cet utilitaire appelé PPA Purge que vous pouvez utiliser à cette fin.
Vous pouvez installer cet utilitaire via les dépôts officiels d’Ubuntu comme suit :
$ sudo apt-get install ppa-purge
Vous pouvez ensuite utiliser la syntaxe de commande suivante pour purger un dépôt ajouté :
$ ppa-purge ppa:ppa_name
Exemple :
$ ppa-purge ppa:thomas-schiex/blender
Suppression manuelle d’un dépôt
Comme mentionné ci-dessus, les fichiers .list de votre dépôt ajouté sont enregistrés dans le répertoire /etc/apt/sources.list.d. Vous pouvez supprimer manuellement un PPA de ce répertoire en utilisant la commande rm comme suit:
$ rm /etc/apt/sources.list.d/ppa_list_file
Exemple:
$ sudo rm /etc/apt/sources.list.d/thomas-schiex-ubuntu-blender-bionic.list
Gestion des dépôts PPA par l’interface utilisateur
Un utilitaire de l’interface utilisateur d’Ubuntu appelé Software and Updates vous aide à gérer à la fois vos dépôts officiels Ubuntu et vos dépôts PPA. Voici comment l’utiliser :
Liste des dépôts PPA ajoutés
Pour ouvrir l’utilitaire Logiciels et mises à jour, saisissez les mots-clés pertinents dans la recherche Dash comme suit, ou sinon vous pouvez l’ouvrir directement à partir de la liste des applications.
Par défaut, l’utilitaire Logiciels et mises à jour s’ouvre dans l’onglet Logiciels Ubuntu. Afin de visualiser les dépôts PPA ajoutés à votre système, sélectionnez l’onglet Autres logiciels.
Ajouter un dépôt PPA
Afin d’ajouter un nouveau dépôt PPA, cliquez sur le bouton Ajouter depuis la vue Autres logiciels. Le dialogue suivant s’ouvrira:
Dans le champ de la ligne APT, mettez le nom du PPA que vous voulez ajouter et cliquez ensuite sur le bouton Ajouter la source. Le système vous demandera alors une authentification car seul un utilisateur autorisé peut ajouter un dépôt à Ubuntu. Entrez le mot de passe pour sudo et cliquez ensuite sur Authentifier.
Votre nouveau dépôt sera ajouté à votre système et apparaîtra dans la liste Autres logiciels de cet utilitaire.
Supprimer un dépôt PPA
Vous pouvez supprimer un PPA ajouté en le sélectionnant d’abord dans la liste Autres logiciels de l’utilitaire Logiciels et mises à jour, puis en cliquant sur le bouton Supprimer.
Maintenant, vous êtes en mesure de gérer les dépôts PPA pour explorer beaucoup plus que ce qui est disponible sur les dépôts officiels d’Ubuntu.
.