perhaps:
#!/usr/bin/env PATH=/bin:/usr/bin:/usr/local/bin bash
?
--
Raul
On Sun, May 6, 2018 at 9:59 AM, Stuart Henderson <s...@spacehopper.org> wrote:
> 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?
>
