On Tue, Nov 02, 2021 at 12:31:47PM -0400, Robert Haas wrote: > On Tue, Nov 2, 2021 at 8:17 AM Magnus Hagander <mag...@hagander.net> wrote: >> I think for the end user, it is strictly better to name it "gzip", >> and given that the target of this option is the end user we should >> do so. (It'd be different it we were talking about a build-time >> parameter to configure). > > I agree. Also, I think there's actually a file format called "zlib" > which is slightly different from the "gzip" format, and you have to be > careful not to generate the wrong one.
Okay, fine by me. It would be better to be also consistent in WalCompressionMethods once we switch to this option value, then. -- Michael
signature.asc
Description: PGP signature
