diff options
-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")' \ "$( |