Hmm. IMHO this stakoverflow article is just wrong. IMHO using env only adds
a search in $PATH for the bash binary which is pointless as bash is always
in /bin/bash.

I think that there is a widespread misconception about env...


On 6 November 2013 16:03, Michael Gruber <notifications@github.com> wrote:

> In bootstrap:
>
> > @@ -0,0 +1,3 @@
> > +#!/usr/bin/env bash
>
> Hi Schlomo,
>
> I once learned that this is more flexible over different linux
> distributions. This is why I am using it.
>
> http://stackoverflow.com/questions/16365130/the-difference-between-usr-bin-env-bash-and-usr-bin-bash
>
> I will remove the env as you suggested.
>
> cheers,
> Michael
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/yadt/yadt-config-rpm-maker/pull/3/files#r7465551>
> .
>