On 30/10/2018 19:10, Matthew Flatt wrote:
> At Tue, 30 Oct 2018 17:54:46 +0100, "'Paulo Matos' via Racket Users" wrote:
>>
>>
>> On 30/10/2018 16:39, Matthew Flatt wrote:
>>> You need to close the output port after `gunzip-through-ports` finishes.
>>>
>>
>> OK, that was a mistake of writing
At Tue, 30 Oct 2018 17:54:46 +0100, "'Paulo Matos' via Racket Users" wrote:
>
>
> On 30/10/2018 16:39, Matthew Flatt wrote:
> > You need to close the output port after `gunzip-through-ports` finishes.
> >
>
> OK, that was a mistake of writing this smallish example. The problem
> persists, if I
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
George Neuner wrote on 10/30/18 12:07 PM:
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
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
Thanks for the comments on the random file generation. Regarding the
write a line at a time, that's just an artifact of adapting this from my
larger program which has to process each line before it's written back
to disk.
On 30/10/2018 17:04, Neil Van Dyke wrote:
> Two small comments in addition
On 30/10/2018 16:39, Matthew Flatt wrote:
> You need to close the output port after `gunzip-through-ports` finishes.
>
OK, that was a mistake of writing this smallish example. The problem
persists, if I write (close-output-port out) after (gunzip-through-ports
out):
➜ zipping-through-ports
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
Two small comments in addition to what Matthew said...
'Paulo Matos' via Racket Users wrote on 10/30/18 11:32 AM:
$ base64 /dev/urandom | head -c 100 > foo3
Even though these are just test files, you might normally want to make
them by instead `dd if=/dev/urandom` piped to `base64 -`,
You need to close the output port after `gunzip-through-ports` finishes.
At Tue, 30 Oct 2018 16:32:04 +0100, "'Paulo Matos' via Racket Users" wrote:
> Hi,
>
> I have quite a few large files that I want to gzip to a single file
> (without an intermediate concatenation) and then later gunzip.
>
Hi,
I have quite a few large files that I want to gzip to a single file
(without an intermediate concatenation) and then later gunzip.
Interestingly the gunzipping is blocking on a read-line. I wonder if
this is because I cannot use gzip-through-ports the way I am doing it or
if there's a bug
11 matches
Mail list logo
