diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2014-09-18 13:55:12 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2014-09-18 13:55:12 -0300 |
| commit | 4fdd3ebb2b0622fb6cff7376a02a5b92c1aba2ae (patch) | |
| tree | ea54b9a2212ab950eff13e33aa3dbdc562abaa08 | |
| parent | c770d2578bf8895ba7c6d0ef62f7e8c8d1eac956 (diff) | |
| download | scripts-4fdd3ebb2b0622fb6cff7376a02a5b92c1aba2ae.tar.gz scripts-4fdd3ebb2b0622fb6cff7376a02a5b92c1aba2ae.tar.bz2 | |
Removing refresh-keys (replaced by gpg-maintenance)
| -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 |