sudo apt-key adv --keyserver keyserver.ubuntu.com --recv 7F0CEB10 el comando da error

Puede que en realidad no sea un problema de búsqueda del servidor de claves, que es lo que sugiere el error. El comando apt-key llama a gpg, que a su vez intenta acceder al servidor de claves. Aparentemente hay un error en gpg por el que si el servidor de claves no tiene la clave que está solicitando, entonces gpg lo interpreta erróneamente como "host no encontrado".

Es muy posible que un servidor de claves que no responda haga lo mismo, y he visto entornos en los que los servidores de claves están bloqueados (reglas de cortafuegos corporativos), por lo que esa podría ser la causa root si hay un cortafuegos ascendente al que no tienes acceso.

Sólo como referencia, la clave está ahí y el servidor de claves está respondiendo actualmente para mí:

$ 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

Puede ser que el puerto sea el problema (lo fue la última vez cuando me encontré con un problema de firewall corporativo), así que intenta hacer esto en el puerto HTTP estándar (80) en su lugar, a ver si eso arregla las cosas:

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 7F0CEB10

Me encontré con el mismo problema ya que mi máquina está detrás de un proxy corporativo. Añadiendo el gpg --keyserver-option http-proxy hizo el truco. Parece:

sudo apt-key adv --keyserver-options http-proxy=<myProxy> --keyserver keyserver.ubuntu.com --recv 7F0CEB10

Si está utilizando un proxy, por ejemplo el de la empresa, probablemente la única manera sea introducirlo manualmente, lo cual es bastante sencillo. Ejecutar:

sudo apt-get update

y obtener el id de la pub_key. A continuación, vaya a http://keyserver.ubuntu.com/ y buscar la clave como un hexágono, por ejemplo si la clave es 7936A783B y, a continuación, busque 0x7936A783B . Haz clic en el enlace del cachorro y copia el contenido de las llaves y guárdalo en un archivo txt. Vaya a la terminal y navegue hasta el archivo y ejecútelo:

sudo apt-key add key.txt

Si funciona, obtendrá un simple OK retroalimentación. Cuando todas las claves se añaden, entonces usted puede correr:

sudo apt-get update

¡y ahí lo tienes!

(CORRECTO) sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv FDC247B7

(ERROR) sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-key FDC247B7

El segundo enfoque mencionado en este enlace me ha funcionado. Descargue manualmente la clave y la agregue. El enlace proporciona un procedimiento paso a paso para arreglar el error que ocurre debido a la falta de la clave.