Linux

Comment modifier les PPA dans Linux Mint

Êtes-vous un utilisateur de Linux Mint ? Vous avez besoin de savoir comment modifier vos PPA sur votre système mais vous ne savez pas quoi faire ? Nous pouvons aider! Suivez ce guide pendant que nous expliquons comment modifier les PPA dans Linux Mint!

Modifier les PPA dans Linux Mint – GUI

Si vous êtes un utilisateur de Linux Mint, il est probable que vous n’êtes pas un grand fan de l’utilisation du terminal. Heureusement, il est possible de modifier les PPA dans Linux Mint avec une interface graphique. Voici comment procéder.

Tout d’abord, appuyez sur la touche Win du clavier pour ouvrir la fenêtre de recherche sur Cinnamon, Mate ou tout autre bureau Linux Mint que vous utilisez. À partir de là, tapez « Sources du logiciel ».

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. Après cela, tapez la commande pkexec mintsources et appuyez sur la touche Entrée pour l’ouvrir.

Une fois que vous êtes dans l’application Sources de logiciels dans Linux Mint, vous verrez plusieurs choix différents parmi lesquels 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 gère tous les dépôts de logiciels tiers que vous ajoutez à Mint.

regarde ça :   Comment couper facilement des fichiers vidéo sous Linux avec Video Trimmer

Pour ajouter un nouveau PPA, cliquez sur le bouton « Ajouter » et ajoutez-le. Pour en supprimer un, cliquez sur « Supprimer » et pour modifier un dépôt existant, cliquez sur le bouton « Modifier ».

Lorsque vous avez terminé de modifier vos sources logicielles dans Linux Mint, fermez l’application.

Modifier les PPA dans Linux Mint – Terminal

Une autre façon de modifier votre liste de sources logicielles dans Linux Mint est via le terminal, en ouvrant le dossier /etc/apt/sources.list.d/. Dans ce domaine, Linux Mint détient toutes les sources logicielles. Chaque PPA que vous ajoutez à votre système obtient son fichier dans ce dossier.

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

Avec la fenêtre du terminal ouverte et prête à l’emploi, utilisez la commande CD et déplacez-vous dans le 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 [month] être beaucoup à trier. Pour faciliter les choses, vous pouvez combiner la commande ls avec la commande grep filter. Vous pouvez utiliser grep pour trier divers mots-clés.

regarde ça :   Comment télécharger des podcasts à partir du terminal Linux avec Podfox

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

ls | grep "mozilla"

Supprimer un 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 du terminal Bash. Pour supprimer un PPA du système, commencez à utiliser la commande rm et spécifiez le nom de 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 n’importe quel fichier de liste PPA de votre PC Linux Mint, remplacez simplement « my_ppa_file_here.list par le fichier PPA que vous souhaitez supprimer de Linux Mint (qui réside dans /etc/apt/sources.list.d/.

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

sudo rm my_ppa_file_here.list

Une fois votre PPA supprimé 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é.

regarde ça :   4 meilleures applications de lecture de livres électroniques pour Linux

Modifier un PPA existant

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

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

À partir de là, vous devrez exécuter la commande ls pour afficher le contenu du dossier afin de pouvoir en localiser un à des fins d’édition.

ls

Ou pour un meilleur filtrage.

ls | grep "name of ppa"

Lorsque vous avez trouvé le nom de votre PPA, utilisez l’éditeur de texte nano pour modifier le PPA. Par exemple, pour modifier le PPA de sécurité de Mozilla, vous devez saisir :

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

Une fois en mode édition, utilisez l’éditeur de texte Nano pour peaufiner 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 suivant ci-dessous pour modifier n’importe quel PPA.

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

sudo nano my-ppa-file.list

Ajouter un nouveau PPA

L’ajout d’un nouveau PPA à Linux Mint via le terminal est beaucoup, beaucoup plus simple que de les supprimer ou de les 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

x