gpg sign developer session key

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

This commit was sponsored by andrea rota.

1 files changed, 8 insertions, 2 deletions

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