Re: [PATCH v1 1/3] Introduce config variable "diff.primer"
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jan 26, 2009, 10:54 UTC
- Message-ID
- <alpine.DEB.1.00.0901261152320.14855@racer>
- In-Reply-To
- <20090126031206.GB14277@sigill.intra.peff.net>
Hi,
On Sun, 25 Jan 2009, Jeff King wrote:
> So if you just want this from the command line, then I think it is safe > to have "git diff" always respect "diff.primer", and scripts shouldn't > be impacted.
But as Keith made clear, he wanted to use it from _git-gui_. Which -- naturally -- _has_ to use plumbing, to guarantee a stable interface.
So "fixing" this in "git diff" is the wrong place; anything else than teaching "git gui" to remember user-defined diff options and to use them would be a complicator's glove.
Ciao, Dscho