summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorstuebinm2021-11-14 18:44:28 +0100
committerstuebinm2021-11-14 18:44:28 +0100
commita5269a3b345ff1abc72e171951700005ccfd35f2 (patch)
tree50f49d87e8a3af3af3425ae1c65b30f5be609d85 /src
parent3bbec1879f828a073b612e9f87b85458da168552 (diff)
add readme
Diffstat (limited to 'src')
-rw-r--r--src/Main.hs5
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)