gzip eps

[Patrick Dupre]

Hello,

I am attaching an eps file
(NoDressedrecoil.eps)
You could do
cp -a NoDressedrecoil.eps No_Dressedrecoil.eps
cp -a NoDressedrecoil.eps No_Dressed_recoil.eps

and then
gzip -f No_Dressedrecoil.eps
gzip -f No_Dressed_recoil.eps

And you should obtain a different behavior
like

Traceback (most recent call last):
  File "/usr/share/lyx/scripts/convertDefault.py", line 68, in <module>
    if sys.argv[3] == 'ppm' and (im and version >= 0x060305 or gm):
                                        ^^^^^^^^^^^^^^^^^^^
TypeError: '>=' not supported between instances of 'str' and
'int'

This seems only due to the name No_Dressed_recoil.eps

Thank for your concerns


===========================================================================
 Patrick DUPRÉ                                 | | email: pdupre(a)gmx.com
===========================================================================