Magnus Hagander <magnus@hagander.net> writes:
> On Sun, Jan 23, 2011 at 03:19, Robert Haas <robertmhaas@gmail.com> wrote:
>> That's pretty horrendous. �Tom/Bruce, any ideas?
> I saw some similar things earlier, and it turned out to be two
> different reasons in two different cases. In one case, it was because
> I was using GNU indent, even though I thought I was using the one
> that's on our ftp. But it does give a warning in that case, you just
> have to actually *read* the warning. In the other case it was really
> weird - when my wrapper script (that called pgindent with path
> specification and such) executing using dash (the default /bin/sh on
> Ubuntu), it did weird things - but when I explicitly executed the
> wrapper script with /bin/bash, it worked - even though pgindent itself
> is still using /bin/sh.
Hm, but then the inner /bin/sh is really dash no? Maybe the outer
invocation is setting environment variables or something to change the
behavior of the inner invocation. That would be pretty broken, but IME
most bash substitutes are pretty broken.
regards, tom lane
