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
--
Sent via pgsql-committers mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-committers
