[PATCH] Fix gpg keyserver failure

[Efflam OLLIVIER]

Hello!

I want to suggest this patch, which fixes an annoying issue that happens with specific DNS configurations or when the user is behind a proxy.

The command `gpg --recv-keys --keyserver keyserver.ubuntu.com ${SOURCEBALL_SIGNINGKEY}` would fail, indicating `gpg: keyserver receive failed: Server indicated a failure`.

Now, it specifies the keyserver as `hkp://keyserver.ubuntu.com:80`, which solves the issue.

The issue has been reported a few times, for example on icecat's AUR page: https://aur.archlinux.org/packages/icecat/?O=40&PP=10#comment-792113


This patch also fixes the command to use the `${KEYSERVER}` environment variable, which was previously defined but not used.


0001-fix_keyserver_failure.patch
Description: Text Data