UPDATE
I tried to do the same with sudo, which got me a much better result ("the no
permission" was the hint to try it).
OTOH, I still have a problem with the second step: host not found (see
below).
Any idea why? Plus how come the verification is good even without completing
the second step? Help me understand whatever I'm blindly doing ;)
user@user-ThinkPad-X200:~$ sudo gpg --list-packets
trisquel-netinst_7.0_amd64.iso.asc
[sudo] password for user:
:signature packet: algo 17, keyid B4EFB9F38D8AEBF1
version 4, created 1414163368, md5len 0, sigclass 0x00
digest algo 2, begin of digest fd dd
hashed subpkt 2 len 4 (sig created 2014-10-24)
subpkt 16 len 8 (issuer key ID B4EFB9F38D8AEBF1)
data: [159 bits]
data: [160 bits]
user@user-ThinkPad-X200:~$ sudo gpg --keyserver keys.gnupg.net --recv-keys
B4EFB9F38D8AEBF1
gpg: requesting key 8D8AEBF1 from hkp server keys.gnupg.net
?: keys.gnupg.net: Host not found
gpgkeys: HTTP fetch error 7: couldn't connect: Success
gpg: no valid OpenPGP data found.
gpg: Total number processed: 0
user@user-ThinkPad-X200:~$ sudo gpg --verify
trisquel-netinst_7.0_amd64.iso.asc trisquel-netinst_7.0_amd64.iso
gpg: Signature made Fri 24 Oct 2014 17:09:28 CEST using DSA key ID 8D8AEBF1
gpg: Good signature from "Trisquel GNU/Linux (Trisquel GNU/Linux signing key)
"
gpg: WARNING: This key is not certified with a trusted signature!
gpg: There is no indication that the signature belongs to the owner.
Primary key fingerprint: E6C2 7099 CA21 965B 734A EA31 B4EF B9F3 8D8A EBF1
user@user-ThinkPad-X200:~$
