diff options
| author | Erich Eckner <git@eckner.net> | 2021-01-22 10:02:21 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2021-01-22 10:02:21 +0100 |
| commit | 0d9ea438ab93fdbbb775979faebf1a6c083cfa47 (patch) | |
| tree | 94088600143fe555c83fb83ef176fc5b35490865 /bin | |
| parent | 3d688b2d0aa547e80dc25c98a3bd39bb57eaaecb (diff) | |
| download | builder-0d9ea438ab93fdbbb775979faebf1a6c083cfa47.tar.xz | |
bin/update-gpg-keys: push keys to archlinux32.org/keys.php, too
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/update-gpg-keys | 3 |
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")' \ "$( |