flexible bash path via /usr/bin/env

[tpltnt]

Hi nvie,

sometimes bash is not located at /bin/bash. This patch makes the installer more flexible by determining the path for bash dynamically.

Cheers,
tpltnt

[ssaavedra]

Why should env's location be considered more stable than bash's?
If your bash is not there you can always invoke the installer via bash <file>.

[tpltnt]

Yes I could do it, but why then have the shebang line in the first place? I mean you could also run the script now as an argument to bash. My change is meant to have a convenient installer on all systems, not just Linux. On FreeBSD bash is located at /usr/local/bin/bash and not /bin/bash. Why do you want to keep up inconveniences for non-Linux systems (given that we have computers to automatically address them)?

[ssaavedra]

You are definitely right; I didn't know env would have a more standard location than bash, I just wanted a bit of context on why this was important :)

And the only overhead is probably a further execv call, which is not that much of a deal anyway.

[fspreng]

Many thanks for your contribution @tpltnt. It would be great to have a PR addressing this issue also for the ITM Gitflow fork.