diff options
author | stuebinm | 2021-11-14 18:44:28 +0100 |
---|---|---|
committer | stuebinm | 2021-11-14 18:44:28 +0100 |
commit | a5269a3b345ff1abc72e171951700005ccfd35f2 (patch) | |
tree | 50f49d87e8a3af3af3425ae1c65b30f5be609d85 /src | |
parent | 3bbec1879f828a073b612e9f87b85458da168552 (diff) |
add readme
Diffstat (limited to '')
-rw-r--r-- | src/Main.hs | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/Main.hs b/src/Main.hs index 5b8b66f..be28f07 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -37,8 +37,11 @@ data Options = Options , pretty :: Bool -- ^ pretty-print the json to make it human-readable , out :: Maybe String - , config :: Maybe (LintConfig Maybe) + -- ^ path to write the (possibly adjusted) maps to after linting , configFile :: Maybe FilePath + -- ^ path to a config file. Currently required. + , config :: Maybe (LintConfig Maybe) + -- ^ a "patch" for the configuration file } deriving (Show, Generic, HasArguments) |