From: Felipe Contreras <felipe.contreras@gmail.com>
Date: Mon, 17 May 2021 22:44:20 GMT
Subject: Re: Man pages have colors? A deep dive into groff
Message-ID: <60a2f1c4cab0d_13c3702083a@natae.notmuch>
In-Reply-To: <xmqqlf8d6ty5.fsf@gitster.g>

Junio C Hamano wrote:
> Æ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.

Why not use color.pager?

-- 
Felipe Contreras