Re: pgsql: Use $INDENT rather than indent throughout the pgindent code
От
Tom Lane
Тема
Re: pgsql: Use $INDENT rather than indent throughout the pgindent code
Дата
Msg-id
5023.1298000073@sss.pgh.pa.us
Ответ на
Список
Дерево обсуждения
pgsql: Use $INDENT rather than indent throughout the pgindent code Alvaro Herrera <alvherre@alvh.no-ip.org>
Re: pgsql: Use $INDENT rather than indent throughout
the pgindent code Andrew Dunstan <andrew@dunslane.net>
Re: pgsql: Use $INDENT rather than indent
throughout the pgindent code Bruce Momjian <bruce@momjian.us>
Re: pgsql: Use $INDENT rather than indent throughout the pgindent code Tom Lane <tgl@sss.pgh.pa.us>
Re: pgsql: Use $INDENT rather than indent throughout the pgindent code Alvaro Herrera <alvherre@commandprompt.com>
Re: pgsql: Use $INDENT rather than indent
throughout the pgindent code Bruce Momjian <bruce@momjian.us>
Re: pgsql: Use $INDENT rather than indent throughout
the pgindent code Andrew Dunstan <andrew@dunslane.net>
Bruce Momjian writes: > Andrew Dunstan wrote: >> On 02/17/2011 08:23 PM, Alvaro Herrera wrote: >>> Use $INDENT rather than indent throughout the pgindent code >>> +INDENT=`which indent` >> How universally available is "which"? > I have 'which'. I am unclear how 'which' helps in this case. It doesn't. Anything 'which' would find could perfectly well be invoked by saying plain old "indent". 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 regards, tom lane
В списке pgsql-committers по дате отправления
От: Bruce Momjian
Дата: