UsrMove feature (was Re: FESCo meeting minutes for 2011-10-24)
tgl at redhat.com
Mon Oct 24 20:37:32 UTC 2011
=?ISO-8859-2?Q?Micha=B3_Piotrowski?= <mkkp4x4 at gmail.com> writes:
> 2011/10/24 Chris Adams <cmadams at 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
More information about the devel