Re: [PATCH 1/4] config doc: move color.ui documentation to one place

2018-05-31 Thread Jeff King
On Thu, May 31, 2018 at 09:09:58AM +0200, Ævar Arnfjörð Bjarmason wrote: > >> Instead let's briefly describe what each variable is for, and then > >> copy/paste a new boilerplate saying that this variable takes the exact > >> same values as color.ui, and if it's unset it'll fallback to whatever >

Re: [PATCH 1/4] config doc: move color.ui documentation to one place

2018-05-31 Thread Ævar Arnfjörð Bjarmason
On Thu, May 31 2018, Jeff King wrote: > On Wed, May 30, 2018 at 09:06:38PM +, Ævar Arnfjörð Bjarmason wrote: > >> Ever since b982592d66 ("git-status: document colorization config >> options", 2006-09-11) we've slowly been accumulating more and more >> color.* options, where the

Re: [PATCH 1/4] config doc: move color.ui documentation to one place

2018-05-30 Thread Jeff King
On Wed, May 30, 2018 at 09:06:38PM +, Ævar Arnfjörð Bjarmason wrote: > Ever since b982592d66 ("git-status: document colorization config > options", 2006-09-11) we've slowly been accumulating more and more > color.* options, where the documentation for each new one has > seemingly been

[PATCH 1/4] config doc: move color.ui documentation to one place

2018-05-30 Thread Ævar Arnfjörð Bjarmason
Ever since b982592d66 ("git-status: document colorization config options", 2006-09-11) we've slowly been accumulating more and more color.* options, where the documentation for each new one has seemingly been copy/pasted with minor adjustments from the last. This has resulted in documentation