From f9daf94e04f03d7ac783a7f660f99c9bd4375394 Mon Sep 17 00:00:00 2001
From: Matteo Cypriani <mcy@lm7.fr>
Date: Wed, 10 Apr 2013 16:11:57 -0400
Subject: [PATCH] [debian] grep_dd_sigs: add usage message

---
 debian/grep_dd_sigs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/debian/grep_dd_sigs b/debian/grep_dd_sigs
index 438723c..f7e1ac7 100755
--- a/debian/grep_dd_sigs
+++ b/debian/grep_dd_sigs
@@ -15,6 +15,15 @@
 # You should have received a copy of the GNU General Public License
 # along with this program.  If not, see <http://www.gnu.org/licenses/>.
 
+if [ $# -ne 1 ] ; then
+	echo "Usage:"
+	echo "	$0 <gpg_key>"
+	echo "<gpg_key> can be either string that identifies a GPG key: key"
+	echo "ID, fingerprint, UID, etc. (see 'HOW TO SPECIFY A USER ID' in"
+	echo "the gpg's manpage)."
+	exit 1
+fi
+
 sigs=$(gpg --with-colons --check-sigs $1 \
 	| grep "sig:\!" \
 	| sed -r "s/sig:\!::[[:digit:]]+:([[:alnum:]]+):.*$/\1/")