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
Дата:
От: Itagaki Takahiro
Дата:
FAQ