From 84eb84f397231a534a5020fd5fd4091aa7968928 Mon Sep 17 00:00:00 2001 From: per1234 Date: Mon, 21 Dec 2020 04:01:04 -0800 Subject: [PATCH] Update configuration environment variable names in docs These environment variables were renamed along with the tool. --- docs/index.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/index.md b/docs/index.md index 4d26e4e41..324f8889c 100644 --- a/docs/index.md +++ b/docs/index.md @@ -58,10 +58,10 @@ The `--report-file` flag causes **arduino-lint** to write the JSON output to the Additional configuration options intended for internal use or development can be set via environment variables: -- `ARDUINO_CHECK_OFFICIAL` - Set to `"true"` to run the checks that only apply to official Arduino projects. -- `ARDUINO_CHECK_LOG_LEVEL` - Messages with this level and above will be logged. +- `ARDUINO_LINT_OFFICIAL` - Set to `"true"` to run the checks that only apply to official Arduino projects. +- `ARDUINO_LINT_LOG_LEVEL` - Messages with this level and above will be logged. - Supported values: `trace`, `debug`, `info`, `warn`, `error`, `fatal`, `panic` -- `ARDUINO_CHECK_LOG_FORMAT` - The output format for the logs. +- `ARDUINO_LINT_LOG_FORMAT` - The output format for the logs. - Supported values: `text`, `json` ## Continuous integration