Re: [PATCH v4 17/21] range-diff: populate the man page
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Aug 10, 2018, 21:06 UTC
- Message-ID
- <nycvar.QRO.7.76.6.1808102306080.71@tvgsbejvaqbjf.bet>
- In-Reply-To
- <20180729212354.GB9955@hank.intra.tgummerer.com>
Hi Thomas,
On Sun, 29 Jul 2018, Thomas Gummerer wrote:
Show 20 quoted lines
> On 07/21, Johannes Schindelin via GitGitGadget wrote: > > From: Johannes Schindelin <johannes.schindelin@gmx.de> > > > > Documentation/git-range-diff.txt | 229 +++++++++++++++++++++++++++++++ > > 1 file changed, 229 insertions(+) > > > > [...] > > > > +CONFIGURATION > > +------------- > > +This command uses the `diff.color.*` and `pager.range-diff` settings > > +(the latter is on by default). > > +See linkgit:git-config[1]. > > Would it be worth implementing a `rangeDiff.dualColor` configuration > at some point? Dual color mode seems like something I would like to > have on by default, even if we are not making it the default for the > command itself. > > (Again this is something that can be a future enhancement).
Sure, go wild!
Ciao, Dscho