github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-11-27 12:57:49 +03:00
Code Issues Projects Releases Wiki Activity

No need for request-id via CLI anymore

Browse Source
This commit is contained in:
Timothy Clem 2019-01-22 12:06:03 -07:00
parent 6befe07ea3
commit 4acac4c05d
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Semantic/CLI.hs
View File

@ -44,10 +44,9 @@ optionsParser :: Parser Options
optionsParser = do
logLevel <- options [ ("error", Just Log.Error) , ("warning", Just Log.Warning) , ("info", Just Log.Info) , ("debug", Just Log.Debug) , ("none", Nothing)]
(long "log-level" <> value (Just Log.Warning) <> help "Log messages at or above this level, or disable logging entirely.")
requestId <- optional (strOption $ long "request-id" <> help "A string to use as the request identifier for any logged messages." <> metavar "id")
failOnWarning <- switch (long "fail-on-warning" <> help "Fail on assignment warnings.")
failOnParseError <- switch (long "fail-on-parse-error" <> help "Fail on tree-sitter parse errors.")
pure $ Options logLevel requestId failOnWarning failOnParseError
pure $ Options logLevel Nothing failOnWarning failOnParseError
argumentsParser :: Parser (Task.TaskEff ())
argumentsParser = do