To może nie być problemem podczas wyszukiwania serwera kluczy, co sugeruje błąd. Polecenie apt-key wywołuje gpg, który z kolei próbuje uzyskać dostęp do serwera kluczy. Najwyraźniej w gpg występuje błąd, w wyniku którego jeśli serwer kluczy nie ma żądanego klucza, gpg błędnie interpretuje to jako „nie znaleziono hosta”.
Może się zdarzyć, że nieodpowiadający serwer kluczy zrobi to samo, i widziałem środowiska, w których serwery kluczy są zablokowane (reguły zapory korporacyjnej), więc może to być Twoja główna przyczyna, jeśli istnieje zapora ogniowa, do której nie masz dostępu do.
Tylko dla odniesienia, klucz jest tam i serwer kluczy obecnie odpowiada na mnie:
$ 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
Być może przyczyną jest problem z portem (był to ostatni raz, gdy trafiłem na korporacyjną zaporę sieciową), więc spróbuj zrobić to na standardowym porcie HTTP (80), sprawdź, czy to rozwiązuje problem:
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 7F0CEB10
dig keyserver.ubuntu.com
?