Re: [PATCH] Add the diff option --no-defaults
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Apr 18, 2009, 17:40 UTC
- Message-ID
- <alpine.DEB.1.00.0904181937520.10279@pacific.mpi-cbg.de>
- In-Reply-To
- <alpine.GSO.2.00.0904180930390.16775@kiwi.cs.ucla.edu>
Hi Keith,
On Sat, 18 Apr 2009, Keith Cascio wrote:
Show 9 quoted lines
> On Fri, 17 Apr 2009, Johannes Schindelin wrote: > > > Besides, you still will have a poison: > > > > git config diff.defaultOptions --no-defaults > > > > which is Russel's paradoxon right there. > > I can cleanly modify my v3 to handle this case.
You cannot. --no-defaults means that diff.defaultOptions should be disregarded. If the diff.defaultOptions say that they should be disregarded themselves, then --no-defaults should be disregarded.
And I still do not like the intrusiveness of your patch. The last time we did something like that with options (some parseoptifications), we had a lot of fallout as a consequence.
Ciao, Dscho