]> gitweb.fluxo.info Git - scripts.git/commitdiff
Removing refresh-keys (replaced by gpg-maintenance)
authorSilvio Rhatto <rhatto@riseup.net>
Thu, 18 Sep 2014 16:55:12 +0000 (13:55 -0300)
committerSilvio Rhatto <rhatto@riseup.net>
Thu, 18 Sep 2014 16:55:12 +0000 (13:55 -0300)
refresh-keys [deleted file]

diff --git a/refresh-keys b/refresh-keys
deleted file mode 100755 (executable)
index 31c579a..0000000
+++ /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