Re: New “guix refresh” command

[ludo@gnu.org (Ludovic Courtès)]

Nikita Karetnikov <nikita@karetnikov.org> skribis:

>>> In execlp of gpg2: No such file or directory
>
>> You need to have GnuPG 2.x installed:
>
>>   guix package -i gnupg
>
> Why is it trying to download tarballs after this error?  I think it
> should print an error message and exit.

Doesn’t fe3e603 address this?  Oh, maybe it doesn’t distinguish between
“command not found” and some other error, that’s what you mean?

> How can I use packages from my profile?  I've added
> '/root/.guix-profile' to PATH

+ /bin

> '/root/.guix-profile/bin/gpg2' fails to resolve host 'keys.gnupg.net'.

Interesting:

  guile -c '(gethostbyname "keys.gnupg.net")'  works
  guile -c '(getaddrinfo "keys.gnupg.net")'    doesn’t

I’m not sure why this is the case, but I think we’ll switch to
pgp.mit.edu for now (keys.gnupg.net also seems to be down from time to
time anyway.)

> '/etc/resolv.conf' isn't empty; '/usr/bin/gpg' works fine.

/usr/bin/gpg uses a different libc, and perhaps it uses the IPv4-only
gethostbyname too.

> And I still think that 'guix refresh' must ask before importing a key.

Patches welcome.  :-)

Ludo’.