On 3/29/22 20:48, Thomas Munro wrote: > On Wed, Mar 30, 2022 at 11:25 AM Andres Freund <and...@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
