Dies ist möglicherweise kein Problem beim Nachschlagen des Keyservers, was der Fehler nahe legt. Der Befehl apt-key ruft gpg auf, das wiederum versucht, auf den Keyserver zuzugreifen. Anscheinend gibt es einen Fehler in gpg. Wenn der Keyserver den von Ihnen angeforderten Schlüssel nicht hat, interpretiert gpg diesen Fehler als "Host nicht gefunden".
Es kann durchaus sein, dass ein nicht reagierender Keyserver dasselbe tut, und ich habe Umgebungen gesehen, in denen die Keyserver blockiert sind (Firewall-Regeln des Unternehmens), sodass dies Ihre Hauptursache sein könnte, wenn es eine Upstream-Firewall gibt, auf die Sie keinen Zugriff haben zu.
Nur als Referenz, der Schlüssel ist da und der Keyserver antwortet gerade für mich:
$ 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
Es kann sein, dass der Port das Problem ist (es war das letzte Mal, als ich auf ein Firewall-Problem in einem Unternehmen stieß). Versuchen Sie dies stattdessen auf dem Standard-HTTP-Port (80).
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 7F0CEB10
dig keyserver.ubuntu.com
?