From 3432d377c76946aa6642560f3da1268a4b2cc262 Mon Sep 17 00:00:00 2001 From: mrT23 Date: Sat, 18 May 2024 13:14:16 +0300 Subject: [PATCH] Update configuration_options.md to include tip on showing relevant configurations --- docs/docs/usage-guide/configuration_options.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/docs/docs/usage-guide/configuration_options.md b/docs/docs/usage-guide/configuration_options.md index 68a8492b..92bf42ee 100644 --- a/docs/docs/usage-guide/configuration_options.md +++ b/docs/docs/usage-guide/configuration_options.md @@ -11,8 +11,10 @@ There are three ways to set persistent configurations: In terms of precedence, wiki configurations will override local configurations, and local configurations will override global configurations. -!!! tip "Tip: edit only what you need" +!!! tip "Tip1: edit only what you need" Your configuration file should be minimal, and edit only the relevant values. Don't copy the entire configuration options, since it can lead to legacy problems when something changes. +!!! tip "Tip2: show relevant configurations" + If you set `config.output_relevant_configurations=true`, each tool will also output in a collapsible section its relevant configurations. This can be useful for debugging, or getting to know the configurations better. ## Wiki configuration file 💎