diff options
author | Erich Eckner <git@eckner.net> | 2020-01-11 09:12:22 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-01-11 09:12:22 +0100 |
commit | fb3bed3710f5f911cb0d37c090fe7bb7357e69d7 (patch) | |
tree | ef1e0cea9e0d3139b853425d45846d1b41d54b9d | |
parent | c808dadea8ecc16b3d188b8fd940bc584e9a95d5 (diff) | |
download | archlinux32-keyring-fb3bed3710f5f911cb0d37c090fe7bb7357e69d7.tar.xz |
update-keys: receive keys from build-master, too
-rwxr-xr-x | update-keys | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/update-keys b/update-keys index c6e730c..be0b7b3 100755 --- a/update-keys +++ b/update-keys @@ -31,6 +31,7 @@ while read -ra data; do keyid="${data[0]}" username="${data[@]:1}" ${GPG} --recv-keys ${keyid} &>/dev/null + ssh buildmaster "gpg -a --export ${keyid}" | ${GPG} --import &>/dev/null printf 'minimize\nquit\ny\n' | \ ${GPG} --command-fd 0 --edit-key ${keyid} ${GPG} --yes --lsign-key ${keyid} &>/dev/null @@ -42,6 +43,7 @@ ${GPG} --import-ownertrust < archlinux32-trusted 2>/dev/null while read -ra data; do keyid="${data[0]}" ${GPG} --recv-keys ${keyid} &>/dev/null + ssh buildmaster "gpg -a --export ${keyid}" | ${GPG} --import &>/dev/null done < packager-keyids while read -ra data; do keyid="${data[0]}" @@ -61,6 +63,7 @@ while read -ra data; do keyid="${data[0]}" username="${data[2]}" ${GPG} --recv-keys ${keyid} &>/dev/null + ssh buildmaster "gpg -a --export ${keyid}" | ${GPG} --import &>/dev/null printf 'clean\nquit\ny\n' | \ ${GPG} --command-fd 0 --edit-key ${keyid} if ! ${GPG} --list-keys --with-colons ${keyid} 2>/dev/null | grep -q '^pub:f:'; then @@ -75,6 +78,7 @@ while read -ra data; do keyid="${data[0]}" username="${data[2]}" ${GPG} --recv-keys ${keyid} &>/dev/null + ssh buildmaster "gpg -a --export ${keyid}" | ${GPG} --import &>/dev/null printf 'clean\nquit\ny\n' | \ ${GPG} --command-fd 0 --edit-key ${keyid} if ! ${GPG} --list-keys --with-colons ${keyid} 2>/dev/null | grep -q '^pub:f:'; then |