Re: [PATCH 1/2] War on whitespace: first, a bit of retreat.
- From
David Symonds <dsymonds@gmail.com>
- Date
- Nov 2, 2007, 13:26 UTC
- Message-ID
- <ee77f5c20711020626s2ec21f1p68f7602dedfdb33a@mail.gmail.com>
- In-Reply-To
- <ee77f5c20711020553x1a329fa5g90f38d5b8c1a062e@mail.gmail.com>
On 11/2/07, David Symonds <dsymonds@gmail.com> wrote:
Show 9 quoted lines
> On 11/2/07, Jakub Narebski <jnareb@gmail.com> wrote: > > Nice idea, but the syntax is > > > > [core "whitespace"] > > trailing = error > > space-before-tab = error > > indent-with-space = warn > > Whoops, of course. My brain is a bit muddled tonight.
Okay, I've put my money where my mouth is, and coded up an equivalent to Junio's patch from the start of this thread. I'll send it through in a couple of minutes.
Dave.