diff options
Diffstat (limited to 'parcimini.bash')
-rw-r--r-- | parcimini.bash | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/parcimini.bash b/parcimini.bash index b3a2dc4..016f166 100644 --- a/parcimini.bash +++ b/parcimini.bash @@ -1,7 +1,7 @@ self=parcimini # Base interval between key retrievals from first arg; default 20 mins -interval=${1:-1200} +interval=${1:-120} # Check we have gpg and shuf, neither of which are POSIX hash gpg || exit @@ -24,13 +24,12 @@ END { for (key_id in key_ids) print key_id }' printf >&2 '%s: Started; base interval %u seconds.\n' \ "$self" "$interval" -# While we're able to write the key list to the file, refresh all of them -while key_ids > "$list" ; do +# While we're able to write a shuffled key list to the file, refresh all of them +while key_ids | shuf > "$list" ; do printf >&2 '%s: Beginning new round; %u key IDs found.\n' \ "$self" "$(sed '$=;d' "$list")" # Shuffle list and read each ID - shuf "$list" | while read -r key_id ; do # Sleep for a random interval @@ -44,5 +43,5 @@ while key_ids > "$list" ; do "$self" "$key_id" gpg --batch --no-tty --recv-key "$key_id" - done + done < $list done |