Skip to content

Commit 05a827d

Browse files
authored
[skip changelog] Replace duplicate content with link to config docs (#780)
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.
1 parent 9238a6c commit 05a827d

File tree

1 file changed

+1
-4
lines changed

1 file changed

+1
-4
lines changed

docs/integration-options.md

+1-4
Original file line numberDiff line numberDiff line change
@@ -38,10 +38,7 @@ package index that can be used to work with experimental versions of cores:
3838

3939
![configuration methods screenshot][]
4040

41-
One note about the example above: passing a value through a command line flag
42-
always takes precedence over reading an environment variable, which in turn
43-
always takes precedence over reading the same value from the configuration file
44-
(if you have one). For more information, see the [configuration documentation].
41+
See the [configuration documentation] for details about Arduino CLI's configuration system.
4542

4643
Consistent with the previous paragraph, when it comes to providing output the
4744
Arduino CLI aims to be user friendly but also slightly verbose, something that

0 commit comments

Comments
 (0)