From 9800d54f151a191c0580c7cd328956b4942bd100 Mon Sep 17 00:00:00 2001
From: Jonas Smedegaard <dr@jones.dk>
Date: Tue, 25 Aug 2015 12:43:22 +0200
Subject: Fix delete interactively.

---
 localgpgcleankeyring | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/localgpgcleankeyring b/localgpgcleankeyring
index 96ee875..9a53d16 100755
--- a/localgpgcleankeyring
+++ b/localgpgcleankeyring
@@ -31,5 +31,7 @@ deleters=$($GPG --batch --list-keys --with-colons | grep '^pub' | cut -d: -f5 |
 if [ -z "$deleters" ]; then
 	echo "# Nothing to delete!"
 else
-	$GPG --batch "$@" --delete-keys $deleters
+	$GPG "$@" --delete-keys $deleters
+# TODO: use below instead when --force
+#	$GPG --batch --yes "$@" --delete-keys $deleters
 fi
-- 
cgit v1.2.3