Keyserver fallback when looking for the correct GPG key

Signed-off-by: Morten Linderud <[email protected]>
archlinux · May 6, 2020 · 0fc79dd · 0fc79dd
1 parent 56ab70e
commit 0fc79dd
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/repro.in b/repro.in
@@ -45,7 +45,9 @@ function init_gnupg() {
     [ ! -d "$BUILDDIRECTORY/_gnupg" ] && mkdir -p "$BUILDDIRECTORY/_gnupg"
 
     # ensure signing key is available
-    gpg --auto-key-locate nodefault,wkd --locate-keys [email protected]
+    # We try WKD first, then fallback to keyservers.
+    # This works on debian./
+    gpg --keyserver=p80.pool.sks-keyservers.net --auto-key-locate wkd,keyserver --locate-keys [email protected]
 }
 
 # Desc: Sets the appropriate colors for output