1 |
commit: 41ada5fca2a464dde3602c8486fe238ba12c1dd7 |
2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Jul 29 11:49:29 2018 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Jul 29 11:49:29 2018 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/qa-scripts.git/commit/?id=41ada5fc |
7 |
|
8 |
create-dev-keyrings: Increase gpg refresh timeout |
9 |
|
10 |
create-dev-keyrings.bash | 2 +- |
11 |
1 file changed, 1 insertion(+), 1 deletion(-) |
12 |
|
13 |
diff --git a/create-dev-keyrings.bash b/create-dev-keyrings.bash |
14 |
index 5d2f23c..0afe352 100755 |
15 |
--- a/create-dev-keyrings.bash |
16 |
+++ b/create-dev-keyrings.bash |
17 |
@@ -24,7 +24,7 @@ grab_keys() { |
18 |
local remaining=( "${@}" ) |
19 |
|
20 |
while :; do |
21 |
- timeout 5m gpg -q --recv-keys "${remaining[@]}" || : |
22 |
+ timeout 20m gpg -q --recv-keys "${remaining[@]}" || : |
23 |
missing=() |
24 |
for key in "${remaining[@]}"; do |
25 |
gpg --list-public "${key}" &>/dev/null || missing+=( "${key}" ) |