side note

Thierry Mallard <>
Mon Mar 10 23:07:13 CET 2003

On Mon, Mar 10, 2003 at 11:04:41PM +0100, Thierry Mallard wrote:
> Also, if /usr/bin/sh is mandatory on some distributions, we can
> use "#!/usr/bin/env sh" instead

and of course it's /bin/env which seems the official location..

Thierry Mallard

More information about the erlang-patches mailing list