Dominique Meeùs
Dernière modification le   
retour à la table des matières — à l’index — à ma page de départ

Dépôts de paquets

Nouveau dépôt
add-apt-repository « deb line » (1)
add-apt-repository « ppa:/someppa » (2)
(par exemple sudo add-apt-repository ppa:klaus-vormweg/ppa pour installer la dernière version de Bluefish pas encore disponible dans la distribution)
add-apt-repository ajoute un dépôt dans /etc/apt/sources.list ou sous la forme d’un fichier dans /etc/apt/sources.list.d

Sous la forme (1), la ligne est ajoutée à /etc/apt/sources.list

Sous la forme (2), la clef publique du PPA est ajoutée au trousseau d’APT et la ligne voulue (pour la distribution active !) est prise au PPA et constitue un fichier dans /etc/apt/sources.list.d

Si la clef n’est pas obtenue automatiquement comme dans la variante (2) d’add-apt-repository, on fait :

apt-key adv --keyserver keyserver.ubuntu.com --recv-keys FEA4973F86A9A497

(la clef de Sebastian Rahtz pour la TEI dans cet exemple) où le numéro est celui qu’on trouve dans le message d’erreur de la mise à jour des dépôts si on ne l’a pas trouvé ailleurs.

Dominique Meeùs . Date: 2011… 2016