diff options
author | Michał Górny <mgorny@gentoo.org> | 2018-07-18 15:57:44 +0200 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2018-07-18 15:59:22 +0200 |
commit | 0ae03c7004b64ffc0592625baec4ac263f1778ad (patch) | |
tree | ee706599be72d7b8668367ff33b508354cd380c5 /create-dev-keyrings.bash | |
parent | create-dev-keyrings: Do not dispose GNUPGHOME (diff) | |
download | qa-scripts-0ae03c7004b64ffc0592625baec4ac263f1778ad.tar.gz qa-scripts-0ae03c7004b64ffc0592625baec4ac263f1778ad.tar.bz2 qa-scripts-0ae03c7004b64ffc0592625baec4ac263f1778ad.zip |
create-dev-keyrings: Add timeout for gpg call
Diffstat (limited to 'create-dev-keyrings.bash')
-rwxr-xr-x | create-dev-keyrings.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/create-dev-keyrings.bash b/create-dev-keyrings.bash index 7afed08..9190004 100755 --- a/create-dev-keyrings.bash +++ b/create-dev-keyrings.bash @@ -21,7 +21,7 @@ grab_keys() { local remaining=( "${@}" ) while :; do - gpg -q --recv-keys "${remaining[@]}" || : + timeout 5m gpg -q --recv-keys "${remaining[@]}" || : missing=() for key in "${remaining[@]}"; do gpg --list-public "${key}" &>/dev/null || missing+=( "${key}" ) |