Dominique Meeùs
Dernière modification le   
retour à la page principale du dossier

Clefs

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… 2014