A volte il semplice:
1 |
apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 379CE192D401AB61 |
può non funzionare quando si è dietro un proxy. Questa la procedura per poter importare in modo veloce la chiave che ci occorre:
1 2 3 |
export keyid=379CE192D401AB61 gpg --keyserver keyserver.ubuntu.com --recv $keyid && gpg --export --armor $keyid > key.txt cat key.txt | apt-key add - |
enjoy!