[PATCH] configure: resolve real path to bash
Danh Doan
congdanhqx at gmail.com
Wed Jan 30 16:08:12 PST 2019
David Bremner <david at tethera.net> writes:
> Danh Doan <congdanhqx at gmail.com> writes:
>
>>
>> I wonder if it's better to keep `/usr/bin/env bash` instead of resolving
>> bash to specific file. Something like this:
>>
>
> This will require Debian (and I think Fedora) to do the resolution
> themselves, because they don't support "#! /usr/bin/env interpreter"
> Of course the distro specific patches are slightly less complicated,
> since they can hard code the location of bash.
I have nothing against your approach,
but I still slightly prefer to be able to run `configure` script without
setting environment variable.
Is it acceptable to emulate `realpath` in `configure` script?
If yes, we could borrow this script (MIT licensed).
https://github.com/chriskempson/base16-shell/blob/master/realpath/realpath.sh
--
Danh
More information about the notmuch
mailing list