Andrew Dunstan <andrew.duns...@2ndquadrant.com> writes:
> On 10/08/2018 05:49 AM, Peter Eisentraut wrote:
>> pgindent spends a long time digging through tmp_check and tmp_install
>> directories and ends up re-indenting installed header files. How about
>> excluding those directories, like below or directly in the script?
> I wonder if a more general solution might be a good idea. Say like
> ignoring everything pointed to by
> git status --porcelain --ignored
Peter's idea sounds better to me. We don't have that many derived .c
or .h files, so I doubt the "git status" calls would pay for themselves.
(Personally, I don't run pgindent in non-cleaned trees ...)
regards, tom lane
