Alvaro Herrera <alvherre@commandprompt.com> writes:
> Excerpts from Andrew Dunstan's message of lun abr 18 19:20:30 -0300 2011:
>> On 04/17/2011 11:07 PM, Tom Lane wrote:
>>> ... but maybe it just needs
>>> a more determined effort and/or more recent versions of GNU indent.
>> If you're aware of any changes in GNU indent that would overcome the
>> previous issues, then by all means spend the time on it. If not, it
>> seems a bit like the definition of insanity ("repeating an experiment
>> with the expectation of a different result").
> The source of GNU indent itself is 3x what it was when the experiment
> was last reported. (I checked this about a year ago with an eye on
> "repeating the experiment" but then I failed to actually do it.) It
> seems fair to say that, yes, it has changed a bit in the meantime.
Also, my recollection of the previous go-round is that we gave up rather
quickly. Maybe by now there is somebody willing to put more than
minimal effort into getting the options just so.
regards, tom lane
