Re: pgsql: Use $INDENT rather than indent throughout the pgindent code
В списке pgsql-committers по дате отправления:
| От | Tom Lane |
|---|---|
| Тема | Re: pgsql: Use $INDENT rather than indent throughout the pgindent code |
| Дата | |
| Msg-id | 5023.1298000073@sss.pgh.pa.us обсуждение исходный текст |
| Ответ на | 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
|
| Список | pgsql-committers |
Bruce Momjian <bruce@momjian.us> 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 по дате отправления:
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера