Обсуждение: pgsql: Use $INDENT rather than indent throughout the pgindent code
Use $INDENT rather than indent throughout the pgindent code This allows the user to change the path to be used more easily. Also, change URL in README. Branch ------ master Details ------- http://git.postgresql.org/pg/commitdiff/c4d124365b9b535e8c98e4568ade3e0c15b11810 Modified Files -------------- src/tools/pgindent/README | 2 +- src/tools/pgindent/pgindent | 8 +++++--- 2 files changed, 6 insertions(+), 4 deletions(-)
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"? cheers andrew
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. -- Bruce Momjian <bruce@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + It's impossible for everything to be true. +
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
Excerpts from Tom Lane's message of vie feb 18 00:34:33 -0300 2011: > 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. Hey, you could have asked when I showed you the patch yesterday on IM. > It doesn't. Anything 'which' would find could perfectly well be invoked > by saying plain old "indent". It helps because I can easily change the value in the script in a single place to what I want. That's a bit less inconvenient than having to edit more than one place. However ... > 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. -- Álvaro Herrera <alvherre@commandprompt.com> The PostgreSQL Company - Command Prompt, Inc. PostgreSQL Replication, Consulting, Custom Development, 24x7 support
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
Alvaro Herrera wrote: > Excerpts from Tom Lane's message of vie feb 18 00:34:33 -0300 2011: > > 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. > > Hey, you could have asked when I showed you the patch yesterday on IM. I thought I was missing something; I figured there must be some reason. > > It doesn't. Anything 'which' would find could perfectly well be invoked > > by saying plain old "indent". > > It helps because I can easily change the value in the script in a single > place to what I want. That's a bit less inconvenient than having to > edit more than one place. However ... > > > 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. OK. -- Bruce Momjian <bruce@momjian.us> http://momjian.us EnterpriseDB http://enterprisedb.com + It's impossible for everything to be true. +