- Inscription
- 14 Décembre 2017
- Messages
- 343
- Réactions
- 142
- Points
- 908
Bonjour RealityGaming,
Aujourd'hui, comme je vous l'avais annoncé hier dans le tutoriel d'installation de logiciels sous Linux (cf. https://reality-gaming.fr/threads/comment-installer-des-logiciels-sous-linux.611793/), je vais vous expliquer comment ajouter et supprimer de nouveaux dépôts dans votre distribution GNU/Linux afin de pouvoir télécharger des logiciels qui ne sont pas présents dans les dépôts de base.
Je prendrai dans ce tutoriel l'exemple de
Vous devez être inscrit pour voir les liens ! Inscrivez-vous ou connectez-vous ici.
(distribution basée sur Ubuntu).Il faut tout d'abord que vous sachiez qu'il existe deux façons d'ajouter/de supprimer des dépôts dans Linux Mint : en ligne de commandes (hé oui, encore !) ou graphiquement depuis le programme "Sources de logiciels".
Commençons sans plus attendre !
Comment ajouter un dépôt à votre distribution ?
1. En ligne de commande
Afin d'ajouter un dépôt à votre distribution en ligne de commande, vous devez préalablement ouvrir un terminal (vous pouvez vous référer à mon précédent tutoriel pour ouvrir un terminal en mode root [administrateur] : https://reality-gaming.fr/threads/comment-installer-des-logiciels-sous-linux.611793/).
Lorsque vous avez ouvert votre terminal et que vous êtes root, vous pouvez alors taper la commande suivante pour ajouter le dépôt "videolan" à votre liste de dépôts :
Code:
add-apt-repository ppa:videolan/stable-daily
Voilà, c'est aussi simple que cela. Votre dépôt est désormais ajouté à votre liste des dépôts.
Remplacez évidemment "videolan/stable-daily" par le nom de votre dépôt.
Pour supprimer un dépôt en ligne de commande :
Code:
apt-add-repository --remove ppa:videolan/stable-daily2. Graphiquement avec le programme Sources de logiciels
Premièrement, pour ajouter des dépôts dans le programme "Sources de logiciels", vous devez ouvrir le programme depuis le Menu :
Vous serez ensuite invités à entrer votre mot de passe root (administrateur) car les dépôts font partie du système de votre distribution GNU/Linux, il vous faut donc les privilèges nécessaires pour le modifier :
Nous y sommes ! Vous avez désormais accès aux dépôts de votre distribution Linux :
Pour ajouter un dépôt, rendez-vous dans la section "PPA" s'il s'agit d'un dépôt PPA ou dans la section "Dépôts supplémentaires" s'il s'agit d'un dépôt deb, deb-src, etc. :
Voilà, il ne vous reste plus qu'à ajouter/supprimer les dépôts que vous souhaitez !
J'espère que ce tutoriel vous aura plu et qu'il aidera bon nombre de nouveaux utilisateurs sous GNU/Linux.
Dans le prochain tutoriel, je me consacrerai à l'apparence de votre distribution GNU/Linux car je me suis aperçu que beaucoup tenaient à personnaliser leur distribution à leur sauce.
N'hésitez pas à laisser un commentaire et/ou un "like" si ce tutoriel vous a intéressé.
A bientôt sur RealityGaming !