Re: Using make_ctags leaves tags files in git - Mailing list pgsql-hackers

From Daniel Gustafsson
Subject Re: Using make_ctags leaves tags files in git
Date
Msg-id 00674C37-9451-4126-85B9-94E301ABD932@yesql.se
Whole thread Raw
In response to Re: Using make_ctags leaves tags files in git  (Alvaro Herrera <alvherre@alvh.no-ip.org>)
List pgsql-hackers
> On 15 May 2023, at 12:33, Alvaro Herrera <alvherre@alvh.no-ip.org> wrote:
>
> On 2023-May-14, Tom Lane wrote:
>
>> Steve Chavez <steve@supabase.io> writes:
>>> In this case I just propose adding 'tags'. I believe it's reasonable to
>>> ignore these as they're produced by make_ctags.
>>
>> Our policy on this is that the project's .gitignore files should ignore
>> files that are produced by our standard build scripts.
>
> But make_ctags is *our* script, so I think this rule applies to them as
> well.

It is our script, but "tags" is not an artifact created by the build scripts
since make_{c|e}tags isn't part of the build so I'm not convinced we should
bother.  If we do I'm sure there are many other scripts in src/tools which
generate files we don't track (like make_mkid, which admittedly probably hasn't
been executed by anyone in a decade or so).

--
Daniel Gustafsson




pgsql-hackers by date:

Previous
From: Marina Polyakova
Date:
Subject: Re: Conflict between regression tests namespace & transactions due to recent changes
Next
From: Alvaro Herrera
Date:
Subject: Re: cutting down the TODO list thread