Clement
03/26/2020, 2:58 PM$ sudo apt-key adv --keyserver <http://keyserver.ubuntu.com|keyserver.ubuntu.com> --recv-keys 1484120AC4E9F8A1A577AEEE97A80C63C9D8B80B
Executing: /tmp/apt-key-gpghome.Vw0k9xPaOV/gpg.1.sh --keyserver <http://keyserver.ubuntu.com|keyserver.ubuntu.com> --recv-keys 1484120AC4E9F8A1A577AEEE97A80C63C9D8B80B
gpg: keyserver receive failed: Connection timed out
seph
03/26/2020, 3:20 PMClement
03/26/2020, 4:43 PMsudo apt-key adv --keyserver <http://keyserver.ubuntu.com|keyserver.ubuntu.com> --recv-keys 1484120AC4E9F8A1A577AEEE97A80C63C9D8B80B
to:
sudo apt-key adv --keyserver "<hkp://keyserver.ubuntu.com:80>" --recv-keys 1484120AC4E9F8A1A577AEEE97A80C63C9D8B80B
The former command seems to work with ancient versions of gpg; the latter works with gpg v2.2.4.seph
03/26/2020, 4:45 PMClement
03/26/2020, 4:46 PMseph
03/26/2020, 4:46 PMClement
03/26/2020, 4:47 PMseph
03/26/2020, 4:49 PMClement
03/26/2020, 4:50 PM