From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 17 May 2021 19:28:34 GMT
Subject: Re: Man pages have colors? A deep dive into groff
Message-ID: <xmqqlf8d6ty5.fsf@gitster.g>
In-Reply-To: <87tun1qp91.fsf@evledraar.gmail.com>

Ævar Arnfjörð Bjarmason <avarab@gmail.com> writes:

> This looks much better.
>
> I wonder a good follow-up (hint, hint! :) would be to have
> exec_man_man() and exec_man_cmd() in builtin/help.c set this depending
> on color.ui (so we'd do it by default with "auto").
>
> Then e.g. "git help git" would look prettier than "man git".

As long as color.man.ui can be used to override the blanket
color.ui, I think it is a good idea.