Dies ist möglicherweise kein Problem beim Nachschlagen des Schlüsselservers, was der Fehler vermuten lässt. Der Befehl apt-key ruft gpg auf, das wiederum versucht, auf den Keyserver zuzugreifen. Anscheinend gibt es einen Fehler in gpg. Wenn der Schlüsselserver nicht über den von Ihnen gewünschten Schlüssel verfügt, interpretiert gpg dies als "Host nicht gefunden".
Es kann durchaus sein, dass ein nicht reagierender Keyserver das Gleiche tut, und ich habe Umgebungen gesehen, in denen die Keyserver blockiert sind (Firewall-Regeln für Unternehmen). Dies könnte Ihre Hauptursache sein, wenn eine Upstream-Firewall, auf die Sie keinen Zugriff haben, vorhanden ist zu.
Nur als Referenz ist der Schlüssel da und der Schlüsselserver antwortet derzeit 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, dass ich ein Problem mit der Unternehmens-Firewall habe). Versuchen Sie es daher auf dem Standard-HTTP-Port (80), und prüfen Sie, ob sich das auswirkt:
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 7F0CEB10