summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2021-01-22 10:02:21 +0100
committerErich Eckner <git@eckner.net>2021-01-22 10:02:21 +0100
commit0d9ea438ab93fdbbb775979faebf1a6c083cfa47 (patch)
tree94088600143fe555c83fb83ef176fc5b35490865 /bin
parent3d688b2d0aa547e80dc25c98a3bd39bb57eaaecb (diff)
downloadbuilder-0d9ea438ab93fdbbb775979faebf1a6c083cfa47.tar.xz
bin/update-gpg-keys: push keys to archlinux32.org/keys.php, too
Diffstat (limited to 'bin')
-rwxr-xr-xbin/update-gpg-keys3
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/update-gpg-keys b/bin/update-gpg-keys
index 7e42291..5a37e78 100755
--- a/bin/update-gpg-keys
+++ b/bin/update-gpg-keys
@@ -28,6 +28,9 @@ fi
| gpg --import --quiet \
>/dev/null 2>&1 \
|| true
+ gpg -a --export "${fingerprint}" \
+ | curl -T - 'https://archlinux32.org/keys.php' \
+ >/dev/null 2>&1
printf 'UPDATE `gpg_keys`'
printf ' SET `gpg_keys`.`public_key`=from_base64("%s")' \
"$(