Re: [j-devel] Opening GZIP-files ...

[Peter G. <pe...@ar...>]

On Thu, 03 Jul 2003 at 11:21:39 +0200, Berthold wrote:
> When I open a GZIP-compressed file (local or remote) the file becomes
> uncompressed and I can edit it. Saving the buffer will save the
> uncompressed file with the unchanged filename (e.g. test.txt.gz)
>
> Is that behavior ok? I think, files with *.gz-names should be
> compressed ...
>
> Is J uncompressing that original file?

When you open test.text.gz, j uncompresses it (and ignores the final
".gz" when choosing the mode for the file).

For some reason I was under the mistaken impression that the resulting
edit buffer was read-only.

You're right, the edited version of the uncompressed file should
certainly not be saved with the ".gz" extension.

But it seems like it would be a good thing to be able to edit the file,
and then when it is saved, have it be automatically compressed again.

I suppose the backup file (and .orig file if any) should be left
uncompressed, without the ".gz" extension...

In any case the current behavior is definitely a bug.

Thanks for pointing this out!

-Peter