Re: Man pages have colors? A deep dive into groff

From: Junio C Hamano <gitster@pobox.com>
Date: May 17, 2021, 19:28 UTC
Message-ID: <xmqqlf8d6ty5.fsf@gitster.g>
In-Reply-To: <87tun1qp91.fsf@evledraar.gmail.com>

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

Show 7 quoted lines

> 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.