これは実際にはキーサーバーの検索に関する問題ではない可能性があり、エラーが示唆するものです。apt-keyコマンドはgpgを呼び出し、これがキーサーバーへのアクセスを試行します。どうやらgpgにはバグがあり、キーサーバーが要求しているキーを持っていない場合、gpgはそれを「ホストが見つかりません」と誤解します。
応答しないキーサーバーでも同じことが行われる可能性があります。キーサーバーがブロックされている環境(企業のファイアウォールルール)を見てきたので、アクセスできない上流のファイアウォールがある場合、それが根本的な原因になる可能性がありますに。
参考のために、キーはそこにあり、キーサーバーは現在私に応答しています:
$ sudo apt-key adv --keyserver keyserver.ubuntu.com --recv 7F0CEB10
Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --secret-keyring /tmp/tmp.rh1myoBdSE --trustdb-name /etc/apt//trustdb.gpg --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --keyserver keyserver.ubuntu.com --recv 7F0CEB10
gpg: requesting key 7F0CEB10 from hkp server keyserver.ubuntu.com
gpg: key 7F0CEB10: "Richard Kreuter <richard@10gen.com>" not changed
gpg: Total number processed: 1
gpg: unchanged: 1
ポートが問題である可能性があります(企業ファイアウォールの問題に最後に出会ったのはそれが最後だった)ので、代わりに標準のHTTPポート(80)でこれを試してみてください。
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 7F0CEB10
dig keyserver.ubuntu.com
何ですか?