diff options
| author | Erich Eckner <git@eckner.net> | 2018-06-03 21:27:51 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-06-03 21:27:51 +0200 |
| commit | eb6256f4316462a7668c2573fe301c541853820d (patch) | |
| tree | a04b159697020cfa800a15f5b0558fdaa6d08a6d /update-keys | |
| parent | 91b42015be7f1314f4dd5e007481c9044a0a4d3d (diff) | |
| download | archlinux32-keyring-eb6256f4316462a7668c2573fe301c541853820d.tar.xz | |
extend polichronucci's keyv20180603
Diffstat (limited to 'update-keys')
| -rwxr-xr-x | update-keys | 2 |
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 |