PGP Public Key Server
De Linuxmemo.
(Différences entre les versions)
| Ligne 8 : | Ligne 8 : | ||
gpg -a --export votre_n°_de_clé | sudo apt-key add - | gpg -a --export votre_n°_de_clé | sudo apt-key add - | ||
#Installer le repository | #Installer le repository | ||
| - | sudo add-apt-repository ppa:atareao/atareao | + | Vérifier les variables d'env |
| + | env | grep -i proxy | ||
| + | sudo -E add-apt-repository ppa:atareao/atareao | ||
Version du 15 juillet 2016 à 08:33
PPA key via http proxy
- chercher la clé sur http://keyserver.ubuntu.com/ . La clé porte un numéro en hexa (exemple: 0x6a9653f936fd5529 est 36FD5529 uid Launchpad PPA for atareao)
- Importer la clé
wget -O- "http://keyserver.ubuntu.com/pks/lookup?op=get&search=0x6a9653f936fd5529" | sudo apt-key add -
ou
gpg --keyserver keyserver.ubuntu.com --recv-keys votre_n°_de_clé gpg -a --export votre_n°_de_clé | sudo apt-key add -
- Installer le repository
Vérifier les variables d'env
env | grep -i proxy sudo -E add-apt-repository ppa:atareao/atareao
