#!/bin/sh
#
# Wrapper for gpg --refresh-keys
# See http://pastebin.com/raw.php?i=XL0WAVSA

for key in `gpg --list-keys --with-colons | grep "^pub" | cut -f5 -d":" | sort --random-sort`
do
        usewithtor gpg --refresh-keys $key 2> /dev/null
        sleep $(( ($RANDOM % 1000) + 1))
done