On 10/30/2018 12:56 PM, 'Paulo Matos' via Racket Users wrote:
On 30/10/2018 17:07, George Neuner wrote:
> > On 10/30/2018 11:32 AM, 'Paulo Matos' via Racket Users wrote:
>> I have quite a few large files that I want to gzip to a single file
>> (without an intermediate concatenation) and then later gunzip.
> > I don't think you can do that - at least not without other
software. > gzip/gunzip are meant to work only with a single file.
gzip is a
> compression format, not an archive format - the compressed stream is
> assumed to contain a single object, it has no index or other metadata to
> handle multiple objects. Typically you would tar the files and then zip
> the tar.
>
I think you misunderstood. I don't really want the three files inside
the gzip. I want to gzip a single text file with the contents of foo1,
foo2 and foo3.
Ok. The problem then, if I'm following your code, is that you are
zipping the files independently and sending 3 compressed objects. I
understand that you don't want to concatenate the files first, but you
need to arrange to present them to gzip as a single stream. I'm not an
expert on the use of ports so I'm not sure how to arrange that.
George
--
You received this message because you are subscribed to the Google Groups "Racket
Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
