On Fri, Apr 21, 2006 at 12:23:09PM -0500, Bo Peng wrote:

> Should we always save compressed to file.lyx.gz, regardless of this flag?

Given that there are stupid OSes out there that rely on file
extension, I think this is not a good idea.

That said, I don't know how compression is handled, but I think that
it should be done such that a LyX file starts with "#LyX" such that it
is still possible to recognize it whatever its extension or
compression status. I mean, I would like that

$ file test.lyx
test.lyx: LyX document text

continue working...

-- 
Enrico

Reply via email to