While browsing in Tor documentation site for instructions on getting latest tor
for Ubuntu 16.04, I came across this site. In there I found this command,
gpg --keyserver keys.gnupg.net --recv 886DDD89
But executing above command on my computer gave me following error,
$ 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
gpg: keyserver communications error: keyserver unreachable
gpg: keyserver communications error: public key not found
gpg: keyserver receive failed: public key not found
Then I tried to open keys.gnupg.net but was redirected to pgp.key-server.io. So I think keys.gnupg.net no longer exists.
Being in Ubuntu, I replaced keys.gnupg.net with keyserver.ubuntu.com and the command ran succesfully. So I think keys.gnupg.net should be replaced with either pgp.key-server.io or keyserver.ubuntu.com. Can anyone tell me who should I contact to do this?
Thanks
?: keys.gnupg.net: Host not found
looks like a DNS failure to me, FWIW. What doeshost keys.gnupg.net
show?