projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e6c56f2) | patch
Rename pgindent options
authorAndrew Dunstan <[email protected]>
Wed, 20 Dec 2023 22:28:57 +0000 (22:28 +0000)
committerAndrew Dunstan <[email protected]>
Wed, 20 Dec 2023 22:37:57 +0000 (22:37 +0000)
commit387aecc948ed2fa39e04f84d9eea086d32ebd42e
tree2de5281bd95a4cd13fda2cd207f7ab9419ecef67tree
parente6c56f2a9d45d2ee636bb94c93a4268c39a1ad18commit | diff
Rename pgindent options

--show-diff becomes --diff, and --silent-diff becomes --check. These
options may now be given together. Without --check, --diff will exit
with a zero status even if diffs are found. With --check, it will now
exit with a non-zero status in that case.

Author: Tristan Partin
Reviewed-by: Daniel Gustafsson, Jelte Fennema-Nio
Discussion: https://postgr.es/m/[email protected]
src/tools/pgindent/pgindent diff | blob | blame | history
src/tools/pgindent/pgindent.man diff | blob | blame | history
This is the main PostgreSQL git repository.