Avoid use of wildcard in pg_waldump's .gitignore.

Tom Lane <tgl@sss.pgh.pa.us>

Commit: 4f119e156e65546aec55e06d288e6f6a8e10f958
Author: Tom Lane <tgl@sss.pgh.pa.us>
Date: 2019-10-05T16:26:55Z
Releases: 12.1
Avoid use of wildcard in pg_waldump's .gitignore.

This would be all right, maybe, if it didn't also match a file that
definitely should not be ignored.  We don't add rmgrs so often that
manual maintenance of this file list is impractical, so just write
out the list.

(I find the equivalent wildcard use in the Makefile pretty lazy and
unsafe as well, but will leave that alone until it actually causes a
problem.)

Per bug #16042 from Denis Stuchalin.

Discussion: https://postgr.es/m/16042-c174ee692ac21cbd@postgresql.org

Files

PathChange+/−
src/bin/pg_waldump/.gitignore modified +22 −1

Discussion