RE: git with custom diff for commits
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Dec 18, 2007, 21:27 UTC
- Message-ID
- <Pine.LNX.4.64.0712182124410.23902@racer.site>
- In-Reply-To
- <000101c841b7$5f1d1060$762a14ac@na.acco.com>
Hi,
On Tue, 18 Dec 2007, Gerald Gutierrez wrote:
> Yes, but wouldn't it be slick to actually teach git's internal diff to > do things like GNU diff can, like the ignore option -I, case > insensitivity, etc. I thought that's what the external diff capability > is for, but it is not so.
I disagree. Your statement is misleading when you say you want the internal diff to do things like GNU diff can.
What you want to do _in fact_ is not only modify the diff _output_, but the commit _input_.
And I am not so keen on such filters. If I do not want to commit, I do not change it to begin with. Yes, your mysqldump is a special case here. But it is special anyway, as it is not source code.
Ciao, Dscho