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