Isso pode não ser realmente um problema em procurar o servidor de chaves, que é o que o erro sugere. O comando apt-key chama gpg, que por sua vez tenta acessar o servidor de chaves. Aparentemente, há um bug no gpg em que se o servidor de chaves não tiver a chave que você está solicitando, o gpg interpretará incorretamente como "host não encontrado".
Pode ser que um servidor de chaves não responsivo faça a mesma coisa, e eu vi ambientes onde os servidores de chaves estão bloqueados (regras de firewall corporativo), então isso pode ser sua causa se houver um firewall upstream não tem acesso a.
Apenas para referência, a chave está lá e o servidor de chaves está respondendo para mim:
$ 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 <[email protected]>" not changed
gpg: Total number processed: 1
gpg: unchanged: 1
Pode ser que a porta seja o problema (foi a última vez que acertei um problema de firewall corporativo), então tente fazer isso na porta HTTP padrão (80), veja se isso resolve:
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 7F0CEB10