From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Sat, 18 Apr 2009 17:40:15 GMT
Subject: Re: [PATCH] Add the diff option --no-defaults
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:

> 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