Re: Proposal for GNU indent compatibility

[Marco Gerards]

Hi,

Pavel Roskin <address@hidden> writes:

> In order to encourage developers to use proper indentation on the newly
> added code, I suggest that we accept the default style of GNU indent.
> That is, the space after "!" should not be needed.  That's the only
> difference I'm aware of.
>
> Running indent on the code and then adding spaces after "!" is
> ridiculous, in my opinion.  GRUB and indent are both GNU programs, it
> should not be needed to do such things.
>
> That doesn't mean that we should start reformatting the existing code.
> Neither does it mean that it's acceptable to submit code that GNU indent
> failed to format nicely.

I do not have a problem with this.  Thus the space change around "!".

--
Marco