Re: [PATCH 2.16.2-beta] compressed input

On Fri, Sep 13, 2024 at 09:50:21AM +0200, Bill Allombert wrote:
> On Thu, Sep 12, 2024 at 06:28:07AM -0700, Ilya Zakharevich wrote:
> > On Mon, Sep 09, 2024 at 11:35:35PM +0200, Bill Allombert wrote:
> > > > > +  {".bz2",  "bzip2 -dc"},
> > > > > +  {".xz",      "xz -dc"},
> > > > > +  {".zstd",  "zstd -dc"},
> > > > > +  {".7z",     "7za -so e"},
> > > > > +  {".zip",  "unzip -p"},
> > > > > +  {NULL, NULL}
> > > > > +};
> > > > 
> > > > You could also add lzma, lz and lzop.
> > 
> > What for?  They are already supported by (many!) tools included
> > above.  (Just rename the archive adding an appropriate extension…)
> 
> In any case, GP need to know which extensions should be considered as
> compressed files.

Already implemented above.  All one needs is to document that the user
can append extensions .xz, .zip, .7z if the corresponding decompressor
supports their favorite compression format.

Hope this helps,
Ilya