На самом деле это может не быть проблемой при поиске сервера ключей, что и предполагает ошибка. Команда 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