diff options
author | Joey Hess <joeyh@joeyh.name> | 2017-05-04 16:44:38 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2017-05-04 16:44:38 -0400 |
commit | 6d6bb94c3646cdaa44f807b879fea3058387c5ae (patch) | |
tree | 21538c8aac8172b8cab9f721525770853094c626 /CmdLine.hs | |
parent | 18e70a49274033d0598fcdfe830f80b0cc3552f0 (diff) | |
download | debug-me-6d6bb94c3646cdaa44f807b879fea3058387c5ae.tar.gz |
--verify mode
This commit was sponsored by Thom May on Patreon.
Diffstat (limited to 'CmdLine.hs')
-rw-r--r-- | CmdLine.hs | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -25,6 +25,7 @@ data Mode | WatchMode WatchOpts | GraphvizMode GraphvizOpts | ReplayMode ReplayOpts + | VerifyMode VerifyOpts | ServerMode ServerOpts | ControlMode ControlOpts @@ -54,6 +55,10 @@ data ReplayOpts = ReplayOpts { replayLogFile :: FilePath } +data VerifyOpts = VerifyOpts + { verifyLogFile :: FilePath + } + data ServerOpts = ServerOpts { serverDirectory :: FilePath , serverPort :: Port @@ -72,6 +77,7 @@ parseMode :: Parser Mode parseMode = (UserMode <$> parseuser) <|> (DeveloperMode <$> parsedeveloper) <|> (ReplayMode <$> parsereplay) + <|> (VerifyMode <$> parseverify) <|> (DownloadMode <$> parsedownload) <|> (WatchMode <$> parsewatch) <|> (GraphvizMode <$> parsegraphviz) @@ -112,6 +118,12 @@ parseMode = (UserMode <$> parseuser) <> metavar "logfile" <> help "replay log file" ) + parseverify = VerifyOpts + <$> option str + ( long "verify" + <> metavar "logfile" + <> help "verify log file" + ) parsedownload = DownloadOpts <$> option readurl ( long "download" |