On Thu, 12 Mar 2015 17:49:15 +0100 Sven Reissmann sven@0x80.io wrote:
I'm not able to fetch the pgp key for the debian repo, as described here: https://www.torproject.org/docs/debian.html.en
$ gpg --keyserver keys.gnupg.net --recv 886DDD89 gpg: requesting key 886DDD89 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
"Host not found" leads me to believe it's a DNS issue. It's working on my end here.
Check your DNS settings. You can use `host` or `dig` to get further info.