diff options
author | Michał Górny <mgorny@gentoo.org> | 2018-07-21 22:44:45 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2018-07-21 22:44:45 +0200 |
commit | 0b6d82d51270b104da6face97dbdc08563ff599b (patch) | |
tree | 6a68ad131c2ff369ee075b6362be91e1e5c52fd9 /bin | |
parent | Include system users in userinfo-export (diff) | |
download | www-0b6d82d51270b104da6face97dbdc08563ff599b.tar.gz www-0b6d82d51270b104da6face97dbdc08563ff599b.tar.bz2 www-0b6d82d51270b104da6face97dbdc08563ff599b.zip |
Fetch service keyring
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/update-keys.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/update-keys.sh b/bin/update-keys.sh index 6a7ade3..fe419a8 100755 --- a/bin/update-keys.sh +++ b/bin/update-keys.sh @@ -1,6 +1,7 @@ #!/bin/bash -echo -n 'Updating developer keyrings...' +echo -n 'Updating keyrings...' cd _data && -wget -T 60 -q -N https://qa-reports.gentoo.org/output/active-devs.gpg +wget -T 60 -q -N https://qa-reports.gentoo.org/output/active-devs.gpg && +wget -T 60 -q -N https://qa-reports.gentoo.org/output/service-keys.gpg echo done. |