diff options
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}" ) |