From 3c7d3b3a2088cfe3698c3b055822c2b9fa67468a Mon Sep 17 00:00:00 2001
From: Joey Hess <joeyh@joeyh.name>
Date: Wed, 26 Apr 2017 17:31:30 -0400
Subject: gpg sign developer session key

And part of what we need to have users verify them.

This commit was sponsored by andrea rota.
---
 CmdLine.hs | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'CmdLine.hs')

diff --git a/CmdLine.hs b/CmdLine.hs
index f00f0be..a2f900b 100644
--- a/CmdLine.hs
+++ b/CmdLine.hs
@@ -18,7 +18,8 @@ data Mode
 	| ServerMode ServerOpts
 
 data UserOpts = UserOpts
-	{ cmdToRun :: Maybe (String, [String])
+	{ gpgOpts :: [String]
+	, cmdToRun :: Maybe (String, [String])
 	}
 
 type UrlString = String
@@ -62,7 +63,12 @@ parseMode = (UserMode <$> parseuser)
 	<|> (ServerMode <$> parseserver)
   where
 	parseuser = UserOpts
-		<$> optional ((,)
+		<$> many (option str
+			( long "gpg-opt"
+			<> short 'g'
+			<> help "option to pass to gpg"
+			))
+		<*> optional ((,)
 			<$> strArgument (metavar "cmd")
 			<*> many (strArgument (metavar "opts")))
 	parsegraphviz = GraphvizOpts
-- 
cgit v1.2.3