On 3/29/22 20:48, Thomas Munro wrote:
> On Wed, Mar 30, 2022 at 11:25 AM Andres Freund <andres@anarazel.de> wrote:
>> Didn't immediate find a reference to a cat equivalent. Maybe just gzip the
>> file? That can read from stdin across platforms afaict.
> . o O ( gzip | gzip -d )
>
Triple bleah. If we have to do that at least we should probably use
`gzip --fast`
cheers
andrew
--
Andrew Dunstan
EDB: https://www.enterprisedb.com