=?ISO-8859-2?Q?Micha=B3_Piotrowski?= <mkkp4x4(a)gmail.com> writes:
2011/10/24 Chris Adams <cmadams(a)hiwaay.net>:
> Using env has always been a hack (and overhead, especially on otherwise
> short shell scripts).
Yeah, this solution has its drawbacks, but it also has undoubted
advantages. Generally speaking it is better for end users to use
#!/usr/bin/env php/python/whatever in scripts.
This whole thing seems like make-work for packagers, and big
compatibility problems for users, for negligible benefit to either.
regards, tom lane