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