Hi,
So it's just as the title says.
I know that I failed getting the public key, but I can't see why.
Also I noticed that when I run gpg --list-packets,
I get a slightly different output than on the wiki.
It's after the word "created", it's not exactly the same numbers, and also
the date the sig was created is more recent, so this may be the explanation.
Here's the log:
user@user-ThinkPad-X200:~/Downloads$ md5sum trisquel-netinst_7.0_amd64.iso
b03d6ba5cea83de3c24c9e80e9a95362 trisquel-netinst_7.0_amd64.iso
user@user-ThinkPad-X200:~/Downloads$ sha256sum trisquel-netinst_7.0_amd64.iso
de98ad3ec716a27d8cb9814258f2f6dada59f03ad4c4483c767aaaf8c6b33f6b
trisquel-netinst_7.0_amd64.iso
user@user-ThinkPad-X200:~/Downloads$ gpg--list-packets
trisquel-netinst_7.0_amd64.iso.asc
bash: gpg--list-packets: command not found
user@user-ThinkPad-X200:~/Downloads$ gpg --list-packets
trisquel-netinst_7.0_amd64.iso.asc
gpg: failed to create temporary file
`/home/user/.gnupg/.#lk0x1f2a050.user-ThinkPad-X200.2880': Permission denied
gpg: keyblock resource `/home/user/.gnupg/secring.gpg': general error
gpg: failed to create temporary file
`/home/user/.gnupg/.#lk0x1f2b4a0.user-ThinkPad-X200.2880': Permission denied
gpg: keyblock resource `/home/user/.gnupg/pubring.gpg': general error
: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:~/Downloads$ gpg --keyserver keys.gnupg.net
--recv-keys B4EFB9F38D8AEBF1
gpg: failed to create temporary file
`/home/user/.gnupg/.#lk0x15aa1b0.user-ThinkPad-X200.3169': Permission denied
gpg: keyblock resource `/home/user/.gnupg/secring.gpg': general error
gpg: failed to create temporary file
`/home/user/.gnupg/.#lk0x15ab5a0.user-ThinkPad-X200.3169': Permission denied
gpg: keyblock resource `/home/user/.gnupg/pubring.gpg': general error
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:~/Downloads$ gpg --verify
trisquel-netinst_7.0_amd64.iso.asc trisquel-netinst_7.0_amd64.iso
gpg: failed to create temporary file
`/home/user/.gnupg/.#lk0x1a25050.user-ThinkPad-X200.3173': Permission denied
gpg: keyblock resource `/home/user/.gnupg/pubring.gpg': general error
gpg: Signature made Fri 24 Oct 2014 17:09:28 CEST using DSA key ID 8D8AEBF1
gpg: Can't check signature: public key not found
user@user-ThinkPad-X200:~/Downloads$