blob: a2f900ba412af7ad2004868d6e102d4a58d8f82a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
module CmdLine where
import Data.Monoid
import Options.Applicative
import Network.Wai.Handler.Warp (Port)
data CmdLine = CmdLine
{ mode :: Mode
}
data Mode
= UserMode UserOpts
| DeveloperMode DeveloperOpts
| DownloadMode DownloadOpts
| WatchMode WatchOpts
| GraphvizMode GraphvizOpts
| ReplayMode ReplayOpts
| ServerMode ServerOpts
data UserOpts = UserOpts
{ gpgOpts :: [String]
, cmdToRun :: Maybe (String, [String])
}
type UrlString = String
data DeveloperOpts = DeveloperOpts
{ debugUrl :: UrlString
}
data DownloadOpts = DownloadOpts
{ downloadUrl :: UrlString
}
data WatchOpts = WatchOpts
{ watchUrl :: UrlString
}
data GraphvizOpts = GraphvizOpts
{ graphvizLogFile :: FilePath
, graphvizShowHashes :: Bool
}
data ReplayOpts = ReplayOpts
{ replayLogFile :: FilePath
}
data ServerOpts = ServerOpts
{ serverDirectory :: FilePath
, serverPort :: Port
}
parseCmdLine :: Parser CmdLine
parseCmdLine = CmdLine <$> parseMode
parseMode :: Parser Mode
parseMode = (UserMode <$> parseuser)
<|> (DeveloperMode <$> parsedeveloper)
<|> (ReplayMode <$> parsereplay)
<|> (DownloadMode <$> parsedownload)
<|> (WatchMode <$> parsewatch)
<|> (GraphvizMode <$> parsegraphviz)
<|> (ServerMode <$> parseserver)
where
parseuser = UserOpts
<$> many (option str
( long "gpg-opt"
<> short 'g'
<> help "option to pass to gpg"
))
<*> optional ((,)
<$> strArgument (metavar "cmd")
<*> many (strArgument (metavar "opts")))
parsegraphviz = GraphvizOpts
<$> option str
( long "graphviz"
<> metavar "logfile"
<> help "visualize log file with graphviz"
)
<*> switch
( long "show-hashes"
<> help "display hashes in graphviz"
)
parsereplay = ReplayOpts
<$> option str
( long "replay"
<> metavar "logfile"
<> help "replay log file"
)
parsedownload = DownloadOpts
<$> option str
( long "download"
<> metavar "url"
<> help "download log file from server"
)
parsewatch = WatchOpts
<$> option str
( long "watch"
<> metavar "url"
<> help "display a debug-me session non-interactively"
)
parseserver = ServerOpts
<$> option str
( long "server"
<> metavar "logdir"
<> help "run server, storing logs in the specified directory"
)
<*> option auto
( long "port"
<> metavar "N"
<> value 8081
<> showDefault
<> help "port for server to listen on"
)
parsedeveloper = DeveloperOpts
<$> option str
( long "debug"
<> metavar "url"
<> help "debug a user on the given url"
)
getCmdLine :: IO CmdLine
getCmdLine = execParser opts
where
opts = info (helper <*> parseCmdLine)
( fullDesc
<> header "debug-me - provable remote debugging sessions"
)
|