Ini mungkin sebenarnya bukan masalah dengan mencari keyserver, yang merupakan kesalahan yang disarankan. Perintah apt-key memanggil gpg, yang pada gilirannya mencoba mengakses server kunci. Rupanya ada bug di gpg di mana jika keyserver tidak memiliki kunci yang Anda minta, maka gpg salah mengartikan itu sebagai "host tidak ditemukan".
Mungkin saja server kunci non-responsif akan melakukan hal yang sama, dan saya telah melihat lingkungan di mana server kunci diblokir (aturan firewall perusahaan), sehingga bisa menjadi penyebab utama Anda jika ada firewall hulu yang tidak Anda akses. untuk.
Hanya untuk referensi, kuncinya ada di sana dan server kunci saat ini merespons untuk saya:
$ 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
Mungkin port yang menjadi masalah (ini adalah yang terakhir kali ketika saya menemukan masalah firewall perusahaan), jadi coba lakukan ini pada port HTTP standar (80) sebagai gantinya, lihat apakah itu beres:
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 7F0CEB10
dig keyserver.ubuntu.com
?