Ceci est une ancienne révision du document !
Régler l'erreur GPG "NO_PUBKEY"
Méthode
Lorsque vous ajoutez des dépôts à votre distribution afin de bénéficier de version supérieure de certains logiciels, vous vous trouvez surement souvent confronté à un message d'erreur du genre :
Pour pallier à ce problème il vous suffit de faire :
notez qu'il vous faudra remplacer 632D16BB0C713DA6 par la clé indiqué dans votre message d'erreur, juste après NO_PUBKEY.
sudo apt-key adv --recv-keys --keyserver keyserver.ubuntu.com 632D16BB0C713DA6
gpg --keyserver keyserver.ubuntu.com --recv-key votre_n°_de_clé gpg -a --export votre_n°_de_clé | sudo apt-key add -
Plus simplement, vous pouvez aussi vous créer un petit script que vous appellerez pour ajouter vos clés : dans votre terminal, tapez :
gedit apt-gpg-key
puis, dans gedit, copiez le code suivant :
#!/bin/bash gpg --keyserver keyserver.ubuntu.com --recv-keys $1 gpg --armor --export $1 | sudo apt-key add -
Enregistrez le fichier puis de nouveau dans votre terminal, rendez-le exécutable en faisant :
chmod +x apt-gpg-key
Enfin, lancez le programme en tapant :
sudo ./apt-gpg-key votre_n°_de_clé
Contributeurs : Daëavelwyn, Mysteroid