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(-)