From 5aa6390130be8a6f14c1c4ef2124b36897c73960 Mon Sep 17 00:00:00 2001 From: Andrew Engelbrecht Date: Wed, 1 Apr 2020 10:47:11 -0400 Subject: [PATCH] removed slow key server --- fsf-keyring.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/fsf-keyring.sh b/fsf-keyring.sh index f4f11a6..a1b7369 100755 --- a/fsf-keyring.sh +++ b/fsf-keyring.sh @@ -15,7 +15,7 @@ refresh-gpg-key() { key=$1 error=999 - for keyserver in keyring.debian.org keys.gnupg.net keyserver.ubuntu.com pool.sks-keyservers.net; do + for keyserver in keyring.debian.org keyserver.ubuntu.com pool.sks-keyservers.net; do set +e cmd="gpg --keyserver $keyserver --recv-keys $key" # keyservers are not very reliable, so retry -- 2.25.1