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/tyapr01mb6315b86619944d4a6b56842dfd...@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(-)

Reply via email to