_dl.sh: add another key server [ci skip]

curl · Jan 12, 2024 · ed17de1 · ed17de1
1 parent 832eb0e
commit ed17de1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/_dl.sh b/_dl.sh
@@ -240,6 +240,7 @@ gpg_recv_key() {
   local req
   req="pks/lookup?op=get&options=mr&exact=on&search=0x$1"
   my_curl "https://pgpkeys.eu/${req}"           | my_gpg --import --status-fd 1 || \
+  my_curl "https://keys.openpgp.org/${req}"     | my_gpg --import --status-fd 1 || \
   my_curl "https://keyserver.ubuntu.com/${req}" | my_gpg --import --status-fd 1
 }