From 33d6d640d34ff28d87068daf612398aa836fcf07 Mon Sep 17 00:00:00 2001 From: Nico Weber Date: Tue, 9 Jun 2020 15:10:00 -0400 Subject: [PATCH] Ports: Use keyserver.ubuntu.com as .sig keyserver (#2535) Increases the number of successfully building ports from 27 to 36 (of 56) on my system. --- Ports/.port_include.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh index 493d6c9840..90c4e9495a 100755 --- a/Ports/.port_include.sh +++ b/Ports/.port_include.sh @@ -52,7 +52,9 @@ func_defined post_fetch || post_fetch() { fetch() { if [ "$auth_type" == "sig" ] && [ ! -z "${auth_import_key}" ]; then # import gpg key if not existing locally - gpg --list-keys $auth_import_key || gpg --recv-key $auth_import_key + # The default keyserver keys.openpgp.org prints "new key but contains no user ID - skipped" + # and fails. Use a different key server. + gpg --list-keys $auth_import_key || gpg --keyserver hkps://keyserver.ubuntu.com --recv-key $auth_import_key fi OLDIFS=$IFS