fix pgp key fetching

This commit is contained in:
Lance Vick 2023-03-16 20:11:43 -07:00
parent d6189f0f28
commit 47e883a348
Signed by: lrvick
GPG Key ID: 8E47A1EC35A1551D
1 changed files with 17 additions and 17 deletions

View File

@ -181,23 +181,23 @@ endef
define fetch_pgp_key define fetch_pgp_key
mkdir -p $(KEY_DIR) && \ mkdir -p $(KEY_DIR) && \
$(call toolchain," \ $(call toolchain,' \
for server in \ for server in \
ha.pool.sks-keyservers.net \ keys.openpgp.org \
hkp://keyserver.ubuntu.com:80 \ hkp://keyserver.ubuntu.com:80 \
hkp://p80.pool.sks-keyservers.net:80 \ hkp://p80.pool.sks-keyservers.net:80 \
pgp.mit.edu \ ha.pool.sks-keyservers.net \
; do \ pgp.mit.edu \
echo "Trying: $${server}"; \ ; do \
gpg \ echo "Trying: $${server}"; \
--recv-key \ gpg \
--keyserver "$${server}" \ --keyserver "$${server}" \
--keyserver-options timeout=10 \ --keyserver-options timeout=10 \
--recv-keys "$(1)" \ --recv-keys "$(1)" \
&& break; \ && break; \
done; \ done; \
gpg --export -a $(1) > $(KEY_DIR)/$(1).asc; \ gpg --export -a $(1) > $(KEY_DIR)/$(1).asc; \
") ')
endef endef
define toolchain define toolchain