On Tuesday 10 September 2002 08:52, Rob Lahaye wrote:
> >
> > I thought that `env python` should work like this:
> >
> > #! /usr/bin/env python
>
> YES, it does! Please apply to python scripts in CVS.

  Oh, you mean lib/scripts/*.py

  Since this discussion begun with lyx2lyx I was really puzzled because 
lyx2lyx or any other script in that directory never had that header. :-)

  I will commit it unless anyone beats me.

> Rob.

-- 
José Abílio

Reply via email to