Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/update-keys
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-06-03 21:27:51 +0200
committerErich Eckner <git@eckner.net>2018-06-03 21:27:51 +0200
commiteb6256f4316462a7668c2573fe301c541853820d (patch)
treea04b159697020cfa800a15f5b0558fdaa6d08a6d /update-keys
parent91b42015be7f1314f4dd5e007481c9044a0a4d3d (diff)
extend polichronucci's keyv20180603
Diffstat (limited to 'update-keys')
-rwxr-xr-xupdate-keys2
1 files changed, 1 insertions, 1 deletions
diff --git a/update-keys b/update-keys
index 3441d49..8f985f5 100755
--- a/update-keys
+++ b/update-keys
@@ -5,7 +5,7 @@ export LANG=C
TMPDIR=$(mktemp -d)
trap "rm -rf '${TMPDIR}'" EXIT
-KEYSERVER='hkp://pgp.mit.edu'
+KEYSERVER='hkp://keys.gnupg.net'
GPG="gpg --quiet --batch --no-tty --no-permission-warning --keyserver "${KEYSERVER}" --homedir ${TMPDIR}"
pushd "$(dirname "$0")" >/dev/null