On Tue, Nov 2, 2021 at 8:17 AM Magnus Hagander <mag...@hagander.net> wrote: > Um, why? > > That we are using zlib to provide the compression is an implementation > detail. Whereas AFAIK "gzip" refers to both the program and the format. And > we specifically use the gzxxx() functions in zlib, in order to produce gzip > format. > > 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. -- Robert Haas EDB: http://www.enterprisedb.com
