Обсуждение: pgsql: pgindent: filter files for the --commit option

pgindent: filter files for the --commit option

per gripe from Shi Yu, solution from Jelte Fennema

Also add a check that the file exists, and issue a warning if it
doesn't.

As an efficiency measure, avoid processing any file more than once.

Discussion: https://postgr.es/m/TYAPR01MB6315B86619944D4A6B56842DFDDE9@TYAPR01MB6315.jpnprd01.prod.outlook.com

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/dab07e8c6896df3129bc153ead1f107e695652ee

Modified Files
--------------
src/tools/pgindent/pgindent | 14 +++++++++++++-
1 file changed, 13 insertions(+), 1 deletion(-)