Re: [RFC PATCH 4/4] color.ui config: add "isatty" setting

2018-05-31 Thread Jeff King
On Thu, May 31, 2018 at 09:01:49AM +0200, Ævar Arnfjörð Bjarmason wrote: > > Is there some case where a pager can only handle color if _it's_ output > > is going to a tty, and otherwise not? > > Maybe I'm missing something but how is that something we can deal with? > We just: > > 1. use

Re: [RFC PATCH 4/4] color.ui config: add "isatty" setting

2018-05-31 Thread Ævar Arnfjörð Bjarmason
On Wed, May 30 2018, Junio C Hamano wrote: > Ævar Arnfjörð Bjarmason writes: > >> A co-worker of mine who was using UNIX systems when dinosaurs roamed >> the earth was lamenting that kids these days were using tools like >> "git" that thought they knew better than isatty(3) when deciding >>

Re: [RFC PATCH 4/4] color.ui config: add "isatty" setting

2018-05-31 Thread Ævar Arnfjörð Bjarmason
On Thu, May 31 2018, Jeff King wrote: > On Wed, May 30, 2018 at 09:06:41PM +, Ævar Arnfjörð Bjarmason wrote: > >> A co-worker of mine who was using UNIX systems when dinosaurs roamed >> the earth was lamenting that kids these days were using tools like >> "git" that thought they knew better

Re: [RFC PATCH 4/4] color.ui config: add "isatty" setting

2018-05-30 Thread Jeff King
On Wed, May 30, 2018 at 09:06:41PM +, Ævar Arnfjörð Bjarmason wrote: > A co-worker of mine who was using UNIX systems when dinosaurs roamed > the earth was lamenting that kids these days were using tools like > "git" that thought they knew better than isatty(3) when deciding > whether or not

Re: [RFC PATCH 4/4] color.ui config: add "isatty" setting

2018-05-30 Thread Junio C Hamano
Ævar Arnfjörð Bjarmason writes: > A co-worker of mine who was using UNIX systems when dinosaurs roamed > the earth was lamenting that kids these days were using tools like > "git" that thought they knew better than isatty(3) when deciding > whether or not something was a terminal, and the state

[RFC PATCH 4/4] color.ui config: add "isatty" setting

2018-05-30 Thread Ævar Arnfjörð Bjarmason
A co-worker of mine who was using UNIX systems when dinosaurs roamed the earth was lamenting that kids these days were using tools like "git" that thought they knew better than isatty(3) when deciding whether or not something was a terminal, and the state of the documentation fixed earlier in this