Publié le 12/11/2017, rédigé par Gaulthier LALLEMAND

Ajouter un dépôt

Ajouter un dépôt dans une Debian

D'abord, je crée un fichier dont le nom importe peu, mais qui doit porter l'extention .list, à cet endroit :

sudo nano -c /etc/apt/sources.list.d/mon_fichier.list

Puis j'écris dans ce fichier la ligne rassemblant les caractéristiques du dépôt que je souhaite ajouter, de la forme :

[Type d'archive] [URL des dépôts] [Distribution] [Section1] [Section2] [Section3]

Explications :

[Type d'archive] : deb (fichiers binaires) ou deb-src (fichiers sources).
[URL des dépôts] : l'URL depuis laquelle je souhaite télécharger les paquets.
[Distribution] : je choisis entre un nom de code (jessie, stretch, ...) ou une version (oldstable, stable, testing, unstable).
[Section] : je choisis entre main, contrib et non-free.

Quelques exemples de lignes valides :

deb http://deb.debian.org/debian stretch main
deb-src http://deb.debian.org/debian stretch main
deb http://deb.debian.org/debian stretch main contrib non-free
deb-src http://deb.debian.org/debian stretch main contrib non-free

Une fois la (ou les) lignes ajoutées au fichier mon_fichier.list, il faut mettre à jour la liste des paquets disponibles :

sudo apt update

Attention : une mauvaise pratique consiste à éditer directement le fichier /etc/apt/sources.list pour y ajouter des dépôts, ce qui a pour conséquence de mélanger la configuration personnelle et la configuration générale du système.

En séparant les nouveaux dépôts dans de nouveaux fichiers, on distingue clairement chacun des ajouts, et pour peu qu'on nomme de façon explicite les fichiers .list, on identifie plus facilement la tâche de chacun.

ITAMETIS

Université