Насправді це не може бути проблемою з пошуком сервера ключів, що саме означає помилку. Команда 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
?