Comment modifier les PPA sous Linux Mint (interface graphique et terminal)

La méthode la plus simple pour modifier les PPA sous Linux Mint consiste à utiliser l'outil intégré « Sources de logiciels ». Sur les versions actuelles de Linux Mint, la page des PPA permet d'ajouter, de supprimer, d'activer, de désactiver et de consulter le contenu des PPA. Si vous devez modifier directement la ligne du dépôt, utilisez le terminal et modifiez le fichier source APT correspondant.

Ce guide décrit les outils actuels de Linux Mint. Linux Mint 22.3 « Zena » utilise la base de paquets Ubuntu Noble, tandis que LMDE est basé sur Debian et ne doit pas être considéré comme une cible PPA Ubuntu. Le projet mintsources de Linux Mint permet de masquer la page des PPA lorsque la prise en charge des PPA est désactivée.

Gérer les PPA sous Linux Mint avec Software Sources

1. Logiciels libres

Ouvrez le menu de l'application, recherchez « Sources de logiciels » et lancez-la. Une authentification d'administrateur peut être requise car les paramètres du dépôt affectent l'ensemble du système.

2. Ouvrez la page des PPA

Sélectionnez « PPA » dans la barre latérale gauche. L’interface actuelle affiche une colonne « Activé » et trois boutons principaux : « Ajouter » , « Supprimer » et « Parcourir » . D’anciens tutoriels peuvent mentionner un bouton « Modifier », mais l’interface utilisateur actuelle de Linux Mint n’en propose pas pour les PPA.

3. Activer ou désactiver un PPA existant

Utilisez la case à cocher en regard d'un PPA pour l'activer ou le désactiver. La désactivation est utile lors du dépannage car elle conserve la configuration de la source sans permettre à APT d'y télécharger des paquets. Après avoir modifié l'état du dépôt, cliquez sur l'invite pour mettre à jour le cache APT lorsque l'option « Sources de logiciels » est disponible.

4. Ajouter un nouveau PPA

Cliquez sur Ajouter , puis saisissez le PPA au ppa:owner/nameformat habituel. Copiez cet identifiant depuis la page PPA officielle du projet plutôt que de le deviner. Le code actuel de mintsources pour Linux Mint vérifie si le PPA est compatible avec la version Ubuntu de base du système avant de l'ajouter.

5. Supprimer un PPA

Sélectionnez le PPA et cliquez sur Supprimer , puis actualisez le cache APT. La suppression d'un dépôt n'entraîne pas automatiquement la rétrogradation des paquets précédemment installés à partir de celui-ci ; par conséquent, ne présumez pas que le système est revenu aux versions de paquets de Linux Mint simplement parce que l'entrée PPA a disparu.

Modifier les PPA depuis le terminal

Le terminal est préférable lorsque vous souhaitez exécuter des commandes de manière répétable ou lorsque vous devez examiner les fichiers APT eux-mêmes.

Ajouter un PPA

sudo add-apt-repository ppa:owner/name
sudo apt update

Remplacez ce fichier owner/namepar le PPA de votre choix. Le add-apt-repositoryprocessus gère automatiquement l'entrée source et la clé de signature, ce qui est plus sûr que de copier-coller manuellement les commandes issues d'anciens tutoriels.

Retirer un PPA proprement

sudo add-apt-repository --remove ppa:owner/name
sudo apt update

Cette méthode est préférable à la simple suppression du fichier source, car la version actuelle de Linux Mint conserve également une clé de signature dédiée pour un PPA.

Trouvez le fichier source et la clé du PPA.

APT lit des dépôts supplémentaires depuis /etc/apt/sources.list.d/. Linux Mint actuel (mintsources) crée un PPA sous forme de .listfichier et stocke sa clé sous /etc/apt/keyrings/avec une signed-by=référence. Vous pouvez examiner ces deux emplacements avec :

ls /etc/apt/sources.list.d/
ls /etc/apt/keyrings/

APT prend également en charge le format plus récent , comme indiqué dans le manuel sources.list.sources d'Ubuntu ; ne présumez donc pas que tous les dépôts tiers utiliseront un fichier..list

Modifier manuellement une ligne source PPA

Si vous devez absolument modifier l'URI, la suite ou les options, sauvegardez d'abord le fichier et modifiez-le en tant qu'administrateur :

sudo cp /etc/apt/sources.list.d/example.list /etc/apt/sources.list.d/example.list.bak
sudo nano /etc/apt/sources.list.d/example.list
sudo apt update

Ne modifiez pas le nom de code d'une distribution Ubuntu pour forcer l'utilisation d'un PPA non pris en charge. Linux Mint 22.3 utilise la base Noble, et l'implémentation actuelle des sources de logiciels vérifie la compatibilité des PPA avec le nom de code de la base. Ignorer cette vérification peut engendrer des conflits de dépendances ou empêcher les mises à jour ultérieures. Consultez les informations de version de Linux Mint 22.3 pour connaître sa base de paquets.

Que faire si la commande apt update échoue après un changement de PPA ?

• Erreur 404 ou « fichier Release introuvable » : le PPA ne propose probablement pas de paquets pour votre version de base d’Ubuntu. Désactivez-le ou supprimez-le plutôt que de lui attribuer un nom de code aléatoire.
• Erreur de signature ou NO_PUBKEY : supprimez puis ajoutez à nouveau le PPA depuis sa source officielle. Évitez les anciennes instructions qui utilisent apt-key adddes fichiers de clés ; Mint utilise actuellement des fichiers de clés par dépôt.
• Avertissement concernant les dépôts dupliqués : vérifiez les sources de logiciels et /etc/apt/sources.list.d/recherchez les entrées dupliquées, puis ne conservez que la source souhaitée.

Pour plus d'informations sur ce qu'est un PPA et comment Launchpad le signe, consultez la documentation officielle de Launchpad sur les PPA .