On 2018/05/06 10:15, Raul Miller wrote: > perhaps: > > #!/usr/bin/env PATH=/bin:/usr/bin:/usr/local/bin bash > > ?
it doesn't make a lot of sense doing it that way, the chances of upstream accepting that are pretty low so it will still need patching, plus you still have non-deterministic behaviour..
