From: Silvio Rhatto <rhatto@riseup.net>
Date: Thu, 18 Sep 2014 16:55:12 +0000 (-0300)
Subject: Removing refresh-keys (replaced by gpg-maintenance)
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=4fdd3ebb2b0622fb6cff7376a02a5b92c1aba2ae;p=scripts.git

Removing refresh-keys (replaced by gpg-maintenance)
---

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