Re: pgsql: Use $INDENT rather than indent throughout the pgindent code

From: Andrew Dunstan <andrew(at)dunslane(dot)net>
To: Alvaro Herrera <alvherre(at)commandprompt(dot)com>
Cc: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, Bruce Momjian <bruce(at)momjian(dot)us>, pgsql-committers <pgsql-committers(at)postgresql(dot)org>
Subject: Re: pgsql: Use $INDENT rather than indent throughout the pgindent code
Date: 2011-02-18 15:52:15
Message-ID: 4D5E95AF.5060704@dunslane.net
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-committers

On 02/18/2011 10:44 AM, Alvaro Herrera wrote:
>
>> What would actually be useful here is a
>> convenient way to override the script's default value of INDENT, but
>> this coding doesn't offer that. I'd suggest something more like
>>
>> if [ -z "$INDENT" ]; then
>> INDENT=indent
>> fi
> ... this is certainly better. I'll change it to this.
>

maybe PGINDENT instead of INDENT?

cheers

andrew

In response to

Browse pgsql-committers by date

  From Date Subject
Next Message Simon Riggs 2011-02-18 15:56:33 Re: Re: [COMMITTERS] pgsql: Make a hard state change from catchup to streaming mode.
Previous Message Alvaro Herrera 2011-02-18 15:51:22 pgsql: Use $INDENT instead of `which` to find the indent binary