diff options
| -rwxr-xr-x | refresh-keys | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/refresh-keys b/refresh-keys deleted file mode 100755 index 31c579a..0000000 --- a/refresh-keys +++ /dev/null @@ -1,10 +0,0 @@ -#!/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 |