Re: [PATCH v2 4/4] Document the new color.* settings to colorize push errors/hints
- From
Eric Sunshine <sunshine@sunshineco.com>
- Date
- Apr 6, 2018, 10:56 UTC
- Message-ID
- <CAPig+cRW6VhZGrV3qN5gDyMu1Oc=hjDOpyo_OY43jyoQNc6Q1A@mail.gmail.com>
- In-Reply-To
- <516b28e82ace0a0b6831c644f246c19dad1187ac.1522968472.git.johannes.schindelin@gmx.de>
On Thu, Apr 5, 2018 at 6:48 PM, Johannes Schindelin <johannes.schindelin@gmx.de> wrote:
Show 15 quoted lines
> Let's make it easier for users to find out how to customize these colors. > > Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de> > --- > 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?