diff options
Diffstat (limited to 'CmdLine.hs')
| -rw-r--r-- | CmdLine.hs | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -11,6 +11,7 @@ data CmdLine = CmdLine data Mode = UserMode UserOpts | DeveloperMode DeveloperOpts + | DownloadMode DownloadOpts | GraphvizMode GraphvizOpts | ReplayMode ReplayOpts | ServerMode ServerOpts @@ -23,6 +24,10 @@ data DeveloperOpts = DeveloperOpts { debugUrl :: String } +data DownloadOpts = DownloadOpts + { downloadUrl :: String + } + data GraphvizOpts = GraphvizOpts { graphvizLogFile :: FilePath , graphvizShowHashes :: Bool @@ -44,6 +49,7 @@ parseMode :: Parser Mode parseMode = (UserMode <$> parseuser) <|> (DeveloperMode <$> parsedeveloper) <|> (ReplayMode <$> parsereplay) + <|> (DownloadMode <$> parsedownload) <|> (GraphvizMode <$> parsegraphviz) <|> (ServerMode <$> parseserver) where @@ -67,6 +73,12 @@ parseMode = (UserMode <$> parseuser) <> metavar "logfile" <> help "replay log file" ) + parsedownload = DownloadOpts + <$> option str + ( long "download" + <> metavar "logfile" + <> help "download log file from server" + ) parseserver = ServerOpts <$> option str ( long "server" |