At Thu, 21 May 2020 06:55:41 +0200, Paul Förster <paul.foerster@xxxxxxxxx> wrote in > Hi Adrian, > > > On 21. May, 2020, at 01:03, Adrian Klaver <adrian.klaver@xxxxxxxxxxx> wrote: > > > > Yeah, the issue would be getting a version of gunzip that works on Windows. In the past I have had luck with: > > > > https://www.7-zip.org/ > > > > Not sure how well it works with redirects/pipes. > > I'm no windoze guru, so I don't know about that, but you may have a look at: > > http://gnuwin32.sourceforge.net/packages/gzip.htm Or cygwin or mingw? http://www.mingw.org/ regards. -- Kyotaro Horiguchi NTT Open Source Software Center
