From 5d3e80aeec03af9a5b271757e31a802d8fcb3eeb Mon Sep 17 00:00:00 2001
From: Joey Hess <joeyh@joeyh.name>
Date: Sun, 30 Apr 2017 19:28:15 -0400
Subject: add --use-server option for user

---
 CmdLine.hs | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'CmdLine.hs')

diff --git a/CmdLine.hs b/CmdLine.hs
index 5512e75..0046b4c 100644
--- a/CmdLine.hs
+++ b/CmdLine.hs
@@ -6,6 +6,7 @@
 module CmdLine where
 
 import Types
+import ServerList
 
 import Data.Monoid
 import Options.Applicative
@@ -29,6 +30,7 @@ data Mode
 
 data UserOpts = UserOpts
 	{ cmdToRun :: Maybe String
+	, useServer :: URI
 	}
 
 data DeveloperOpts = DeveloperOpts
@@ -82,6 +84,13 @@ parseMode = (UserMode <$> parseuser)
 			<> metavar "command"
 			<> help "program to run (default: login shell)"
 			))
+		<*> option readurl
+			( long "use-server"
+			<> metavar "url"
+			<> value defaultServerUrl
+			<> showDefault
+			<> help "url of debug-me server to use"
+			)
 	parsedeveloper = DeveloperOpts
 		<$> argument readurl
 			( metavar "url"
-- 
cgit v1.2.3