Comment modifier un PPA dans Linux Mint

Êtes-vous un utilisateur de Linux Mint ? Avez-vous besoin d’apprendre à modifier votre PPA sur votre système, mais vous ne savez pas quoi faire ? Nous pouvons aider! Suivez ce guide pendant que nous expliquons comment modifier un PPA dans Linux Mint !

Modifier un PPA dans Linux Mint – GUI

Si vous êtes un utilisateur de Linux Mint, vous n’êtes probablement pas un grand fan de Terminal Support. Heureusement, vous pouvez modifier un PPA dans Linux Mint à l’aide de l’interface graphique. Voici comment procéder.

Tout d’abord, appuyez sur la touche Win de votre clavier pour ouvrir une fenêtre de recherche sur Cinnamon, Mate ou tout autre bureau Linux Mint que vous utilisez. De là, tapez “Sources de logiciels”.

Si vous ne trouvez pas l’application dans les résultats de la recherche, appuyez sur Alt + F2 pour ouvrir le menu de lancement rapide. Tapez ensuite pkexec mintsources et appuyez sur Entrée pour l’ouvrir.

Une fois que vous êtes dans l’application Software Sources de Linux Mint, vous verrez plusieurs options différentes parmi lesquelles choisir. Il existe des ‘dépôts officiels’, des ‘PPA’, des ‘dépôts supplémentaires’, des ‘clés d’authentification’ et une ‘maintenance’.

Pour modifier (c’est-à-dire activer, désactiver ou même ajouter de nouvelles sources logicielles), recherchez la section “PPA” et cliquez dessus. Cette zone prend en charge tous les référentiels de logiciels tiers que vous ajoutez à Mint.

Pour ajouter un nouveau PPA, cliquez sur le bouton “Ajouter” et ajoutez-le. Pour les supprimer, cliquez sur “Supprimer” et pour modifier un référentiel existant, cliquez sur “Modifier”.

Après avoir modifié les sources logicielles dans Linux Mint, fermez l’application.

Modifier un PPA dans Linux Mint – Terminal

Une autre façon de modifier la liste des sources logicielles dans Linux Mint consiste à utiliser Terminal en ouvrant le dossier /etc/apt/sources.list.d/. Dans ce domaine, Linux Mint dispose de toutes les sources logicielles. Chaque PPA que vous ajoutez à votre système obtiendra son fichier dans ce dossier.

Pour démarrer le processus d’édition, vous devrez ouvrir une fenêtre de terminal sur votre bureau Linux Mint. Appuyez sur Ctrl + Alt + T sur votre clavier ou recherchez “terminal” dans le menu de l’application et ouvrez-le de cette façon.

Lorsque la fenêtre du terminal est ouverte et prête à être utilisée, utilisez la commande CD et accédez au dossier /etc/apt/sources.list.d/. Une fois dans ce dossier, vous pouvez exécuter la commande ls pour afficher le contenu du répertoire.

ls

Si vous avez beaucoup de fichiers PPA, il y a beaucoup à trier en janvier. Pour faciliter cela, vous pouvez combiner la commande ls avec la commande grep filter. Vous pouvez utiliser grep pour trier différents mots-clés.

Par exemple, si vous essayez de trouver le ppa de sécurité de Mozilla, recherchez la commande ci-dessous.

ls | grep "mozilla"

Supprimer le PPA

Si vous souhaitez supprimer complètement un PPA de Linux Mint, vous pouvez le faire directement dans le dossier à l’aide des commandes de base de Bash Terminal. Pour supprimer un PPA du système, commencez à utiliser la commande rm et spécifiez le nom du fichier PPA.

Par exemple, pour supprimer le PPA de sécurité Mozilla de Linux Mint (le PPA, qui fournit des mises à jour rapides de Firefox et Thunderbird), vous pouvez exécuter la commande rm avec le fichier “ubuntu-mozilla-security-ppa-focal.list”.

cd /etc/apt/sources.list.d/
sudo rm ubuntu-mozilla-security-ppa-focal.list

Pour supprimer tout fichier de liste PPA de votre machine Linux Mint, remplacez simplement “my_ppa_file_here.list par le PPA que vous souhaitez supprimer de Linux Mint (situé dans /etc/apt/sources.list.d/).

cd /etc/apt/sources.list.d/

sudo rm my_ppa_file_here.list

Après avoir supprimé le PPA de Linux Mint, vous devrez exécuter la commande de mise à jour. Cette commande garantira que Linux Mint sait que l’ancien PPA n’est plus sur le système.

sudo apt update

Une fois mis à jour, votre PPA sera supprimé.

Modifier un PPA existant

Il est possible de modifier n’importe quel PPA existant dans Linux Mint à l’aide du terminal. Pour ce faire, vous devez d’abord entrer dans le répertoire /etc/apt/sources.list.d/ avec la commande CD ci-dessous.

cd /etc/apt/sources.list.d/

À ce stade, vous devez exécuter la commande ls pour répertorier le contenu du dossier afin de pouvoir le trouver à des fins d’édition.

ls

Ou pour un meilleur filtrage.

ls | grep "name of ppa"

Une fois le nom du PPA établi, utilisez l’éditeur de texte nano pour modifier le PPA. Par exemple, pour modifier le PPA de sécurité Mozilla, saisissez :

sudo nano ubuntu-mozilla-security-ppa-focal.list

En mode édition, utilisez l’éditeur de texte Nano pour ajuster et modifier ce que vous aimez. Une fois terminé, appuyez sur Ctrl + O pour l’enregistrer et appuyez sur Ctrl + X pour quitter l’édition.

Utilisez l’exemple de commande ci-dessous pour modifier n’importe quel PPA.

cd /etc/apt/sources.list.d/

sudo nano my-ppa-file.list

Ajouter un nouveau PPA

Ajouter un nouveau PPA à Linux Mint via le terminal est beaucoup plus facile que de le supprimer ou de le modifier. Si vous souhaitez ajouter un nouveau PPA à Linux Mint, utilisez simplement la commande add-apt-repository ci-dessous.

sudo add-apt-repository ppa:my-ppa/ppa