On 2018/05/06 09:47, Daniel Jakots wrote:
> On Sun, 6 May 2018 12:08:01 +0100, Stuart Henderson
> <s...@spacehopper.org> wrote:
>
> > I'm no fan of this:
> >
> > #!/usr/bin/env bash
> >
> > It's not deterministic (relies on the user's PATH being set in a
> > certain way), I would normally patch these to use
> > ${LOCALBASE}/bin/bash like you had in earlier versions of your port.
>
> We discussed this in Nantes. The reason of using env is that it's
> portable so you can upstream the patch.
>
> The current situation sucks that depending on who you ask you get a
> different answer :(
We discussed it but didn't come to a conclusion...
With env, it sometimes works, sometimes doesn't, depending on how
the environment is setup - with a patch, it always works.
The patches are annoying though. Maybe we need some equivalent of
MODPY_BIN_ADJ for bash?
