Re: The pg_indent on on ftp is outdated

On Thu, Dec 21, 2017 at 12:42 PM, Craig Ringer <craig(at)2ndquadrant(dot)com>
wrote:

> On 21 December 2017 at 18:22, Magnus Hagander <magnus(at)hagander(dot)net> wrote:
>
>>
>>
>> On Thu, Dec 21, 2017 at 8:20 AM, Craig Ringer <craig(at)2ndquadrant(dot)com>
>> wrote:
>>
>>> Hi all
>>>
>>> The pg_indent on www is outdated, and doesn't understand --version .
>>>
>>> https://www.postgresql.org/ftp/dev/
>>>
>>> It might make sense to add a README there that mentions it's obsolete
>>> and now lives at https://git.postgresql.org/git/pg_bsd_indent.git (or
>>> just "see src/tools/pgindent/README).
>>>
>>>
>> Is there a reason to keep it at all if its obsolete, or should we just
>> delete it?
>>
>>
> I don't know of any, but it might be worth checking on -hackers or cc'ing
> Tom etc.
>
>
Yeah, makes sense. Moving this thread over to -hackers to get some more
comments from there.

--
Magnus Hagander
Me: https://www.hagander.net/ <http://www.hagander.net/>
Work: https://www.redpill-linpro.com/ <http://www.redpill-linpro.com/>