Ajouter un dépôt sous Débian
Un dépôt est une site offrant en téléchargement une collection organisée de paquets Débian. Vous y trouverez à la fois les catalogues nécessaires à vos gestionnaires de paquets et les paquets d’installation eux-mêmes.
Installer un nouveau dépôt vous permettra en général de disposer de nouveaux logiciels, non présents dans les dépôts officiels Débian.
Attention, cependant, installer des logiciels non officiels peut poser des problèmes de compatibilité. Soyez sûr de sélectionner des dépôts fiables et correspondant à la version de Débian que vous utilisez.
Un dépôt est identifié par une série d’informations :
type uri distribution catégories
Par exemple, pour le dépôt Débian multimédia :
deb http://www.debian-multimedia.org/ lenny main
type
Le type est « deb » (paquet binaire Débian) ou « deb-src » (paquet source Débian). « deb » indique un dépôt de paquets binaires (directement utilisables). « deb-src » indique des paquets sources (qui permettent de produire les paquets binaires).
uri
L’uri (par exemple « http://www.debian-multimedia.org/
») correspond
à l’adresse du dépôt sur internet.
distribution
La distribution (par exemple « lenny ») indique le nom de la distribution que vous utilisez.
catégories
Les catégories (par exemple « main ») indiquent les classes de logiciels que vous souhaitez installez. Pour Débian, il y a « main », qui correspond aux logiciels libres, qui forment la base de la distribution, « contrib », qui correspond à des logiciels libre dont le fonctionnement dépend de logiciels ou de données propriétaires et « non-free », qui correspond aux logiciels jugés non libres par Débian.
Installation graphique
Lancez le gestionnaire de paquets Synaptic.
Dans le menu « Configuration », sélectionnez l’entrée « Dépôts ».
Cliquez sur « Nouveau ».
Remplissez les cases selon le dépôt que vous souhaitez ajouter.
Cochez la case « Activé ».
Validez.
Installation en mode texte
Ouvrez une fenêtre de terminal administrateur (i. e. sous le compte
root
).Ouvrez le fichier
source.list
:
nano /etc/apt/source.list
Ajoutez en fin de fichier la ligne indiquant les coordonnées de votre dépôt.
Enregistrez et quittez.
Mettez à jour le système de gestion des paquets :
apt-get update