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 :(
