Re: gzip and old files

[Greg Wooledge]

On Mon, Aug 19, 2019 at 08:03:42PM +0200, Hans wrote:
> Isn't it "gunzip rc.custom.gz"???

That's identical to gzip -d rc.custom.gz.