From d9729a5d467d09b16a411037613ddac354920cc5 Mon Sep 17 00:00:00 2001 From: per1234 Date: Sat, 4 Jul 2020 11:03:26 -0700 Subject: [PATCH] [skip ci] Replace duplicate content with link to config docs The Integration options page is intended to be an overview of the three methods of using Arduino CLI. Low level details are not needed here. Instead, we can provide links to that information on the relevant documentation pages. --- docs/integration-options.md | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/docs/integration-options.md b/docs/integration-options.md index 1b6cf2ef570..4736d14820c 100644 --- a/docs/integration-options.md +++ b/docs/integration-options.md @@ -38,10 +38,7 @@ package index that can be used to work with experimental versions of cores: ![configuration methods screenshot][] -One note about the example above: passing a value through a command line flag -always takes precedence over reading an environment variable, which in turn -always takes precedence over reading the same value from the configuration file -(if you have one). For more information, see the [configuration documentation]. +See the [configuration documentation] for details about Arduino CLI's configuration system. Consistent with the previous paragraph, when it comes to providing output the Arduino CLI aims to be user friendly but also slightly verbose, something that