![](https://secure.gravatar.com/avatar/e9c1095e9947c01f120b8d0d47d7f24e.jpg?s=120&d=mm&r=g)
21 Oct
2013
21 Oct
'13
10:30 a.m.
On Oct 21, 2013, at 5:15 PM, Tom Laermans wrote:
I'd opt for adding the PATH indeed, makes your life a lot simpler. But if you don't, why not remove "env", it serves no purpose if you pass it a full path - that's what I meant :-)
You are right :)
The thing is, the original files had a "env php" (and env was also empty) and I added the /usr/local/bin to php. I was just in "make the thing work, I really want to see it dance" and at the end I never got to the tidy-it phase ;)
Borja.