From 4fdd3ebb2b0622fb6cff7376a02a5b92c1aba2ae Mon Sep 17 00:00:00 2001
From: Silvio Rhatto <rhatto@riseup.net>
Date: Thu, 18 Sep 2014 13:55:12 -0300
Subject: Removing refresh-keys (replaced by gpg-maintenance)

---
 refresh-keys | 10 ----------
 1 file changed, 10 deletions(-)
 delete mode 100755 refresh-keys

(limited to 'refresh-keys')

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
-- 
cgit v1.2.3