Re: The pg_indent on on ftp is outdated

2017-12-28 Thread Craig Ringer
On 28 December 2017 at 23:59, Magnus Hagander wrote: > > > On Fri, Dec 22, 2017 at 1:33 AM, Craig Ringer > wrote: > >> >> >> On 21 Dec. 2017 22:42, "Tom Lane" wrote: >> >> Magnus Hagander writes: >> > On Thu, Dec 21, 2017 at 12:42 PM, Craig Ringer >> > wrote: >> >>> The pg_indent on www is ou

Re: The pg_indent on on ftp is outdated

2017-12-28 Thread Magnus Hagander
On Fri, Dec 22, 2017 at 1:33 AM, Craig Ringer wrote: > > > On 21 Dec. 2017 22:42, "Tom Lane" wrote: > > Magnus Hagander writes: > > On Thu, Dec 21, 2017 at 12:42 PM, Craig Ringer > > wrote: > >>> The pg_indent on www is outdated, and doesn't understand --version . > >>> https://www.postgresql.

Re: The pg_indent on on ftp is outdated

2017-12-21 Thread Craig Ringer
On 21 Dec. 2017 22:42, "Tom Lane" wrote: Magnus Hagander writes: > On Thu, Dec 21, 2017 at 12:42 PM, Craig Ringer > wrote: >>> The pg_indent on www is outdated, and doesn't understand --version . >>> https://www.postgresql.org/ftp/dev/ > Is there a reason to keep it at all if its obsolete, or

Re: The pg_indent on on ftp is outdated

2017-12-21 Thread Tom Lane
Magnus Hagander writes: > On Thu, Dec 21, 2017 at 12:42 PM, Craig Ringer > wrote: >>> The pg_indent on www is outdated, and doesn't understand --version . >>> https://www.postgresql.org/ftp/dev/ > Is there a reason to keep it at all if its obsolete, or should we just > delete it? The only reaso

Re: The pg_indent on on ftp is outdated

2017-12-21 Thread Magnus Hagander
On Thu, Dec 21, 2017 at 12:42 PM, Craig Ringer wrote: > On 21 December 2017 at 18:22, Magnus Hagander wrote: > >> >> >> On Thu, Dec 21, 2017 at 8:20 AM, Craig Ringer >> wrote: >> >>> Hi all >>> >>> The pg_indent on www is outdated, and doesn't understand --version . >>> >>> https://www.postgres