diff options
| author | Chris Lamb <lamby@debian.org> | 2016-11-04 11:18:42 +0000 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-11-04 12:24:04 +0100 |
| commit | 13bbc6749cb172357fd1fc4591f6e8b08f1e96b6 (patch) | |
| tree | b61c4a247289a2bcabe8da10a70be6cc8258db47 /update_jdn.sh | |
| parent | ca7e3433e701115852b7f45b6e8916e1e8d700d2 (diff) | |
| download | jenkins.debian.net-13bbc6749cb172357fd1fc4591f6e8b08f1e96b6.tar.xz | |
As a one-off, send our key to the keyserver.
This commit should be reverted once deployed everywhere.
Signed-off-by: Chris Lamb <lamby@debian.org>
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'update_jdn.sh')
| -rwxr-xr-x | update_jdn.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index dfd999d7..1ce08d94 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -690,6 +690,17 @@ EOF fi fi +# As a one-off, send our key to the keyserver +GPG_KEY_ID="$(sudo -u jenkins gpg --with-colons --fixed-list-mode --list-secret-keys | grep '^sec' | cut -d: -f5 | tail -n1)" + +if [ "$GPG_KEY_ID" = "" ] +then + explain "$(date) - Could not find existing GPG key to submit" +else + explain "$(date) - Submitting previously-generated GPG key $GPG_KEY_ID to keyserver" + sudo -u jenkins gpg --send-keys $GPG_KEY_ID +fi + # # There's always some work left... # echo FIXME is ignored so check-jobs scripts can output templates requiring manual work |