pgindent: filter files for the --commit option

Andrew Dunstan <andrew@dunslane.net>

Commit: dab07e8c6896df3129bc153ead1f107e695652ee
Author: Andrew Dunstan <andrew@dunslane.net>
Date: 2023-02-12T13:51:01Z
Releases: 16.0
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

Files

PathChange+/−
src/tools/pgindent/pgindent modified +13 −1

Discussion