From: Eric Sunshine Date: Fri, 06 Apr 2018 10:56:20 GMT Subject: Re: [PATCH v2 4/4] Document the new color.* settings to colorize push errors/hints Message-ID: In-Reply-To: <516b28e82ace0a0b6831c644f246c19dad1187ac.1522968472.git.johannes.schindelin@gmx.de> On Thu, Apr 5, 2018 at 6:48 PM, Johannes Schindelin wrote: > Let's make it easier for users to find out how to customize these colors. > > Signed-off-by: Johannes Schindelin > --- > diff --git a/Documentation/config.txt b/Documentation/config.txt > @@ -1088,6 +1088,16 @@ clean.requireForce:: > +color.advice:: > + A boolean to enable/disable color in hints (e.g. when a push > + failed, see `advice.*` for a list). May be set to `always`, > + `false` (or `never`) or `auto` (or `true`), in which case colors > + are used only when the error output goes to a terminal. If > + unset, then the value of `color.ui` is used (`auto` by default). > + > +color.advice.advice:: > + Use customized color for hints. Is "color.advice.advice" correct?