Importar claves GPG de un repositorio desde dentro de la Red Educativa

Estaba con un repositorio nuevo para instalar unas cosillas y al hacer apt-get update me salía el típico error NO_PUBKEY de que no tengo la clave del repositorio, que en este caso era E1F958385BFE2B6E

Primero he probado a añadir la clave a mano de la forma recomendada siempre, con:

# apt-key adv --recv-keys --keyserver keys.gnupg.net E1F958385BFE2B6E

Pero había olvidado que dentro de la red educativa esto no funciona ya que usa el puerto 11371 y dicho puerto está bloqueado por el firewall. El truco para que funcione es:

# apt-key adv --recv-keys --keyserver hkp://keyserver.ubuntu.com:80  E1F958385BFE2B6E

Que hace la petición a través del puerto 80 (que evidentemente está abierto) al servidor de claves de Ubuntu, que si escucha por dicho puerto. De esta manera añadimos la clave a los ficheros /etc/apt/trustdb.gpg y /etc/apt/trusted.gpg y ya podremos actualizar desde ese repositorio sin problemas.