gpg Key error in apt-get installation instruction

ponylang / pony-stable

:horse: A simple dependency manager for the Pony language.

BSD 2-Clause "Simplified" License

134 stars 18 forks source link

gpg Key error in apt-get installation instruction #47

Open nisanharamati opened 7 years ago

nisanharamati commented 7 years ago

When executing

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys "D401AB61 DBE1D0A2"

I get the following result:

$ sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys "D401AB61 DBE1D0A2"
Executing: /tmp/apt-key-gpghome.B3RuvWpOpZ/gpg.1.sh --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys D401AB61 DBE1D0A2
gpg: "D401AB61 DBE1D0A2" not a key ID: skipping

nisanharamati commented 7 years ago

update: I only get this error on Ubuntu 17.04. If I run the same command in an Ubuntu Trusty or Xenial VM then it works as expected.

NotsOverflow commented 6 years ago

Same with 18.04 LTS

mfelsche commented 6 years ago

We need to use the long key id, using twi shirt key ids does not work for all gpg versions it seems.

This is the correct long key id: 379CE192D401AB61