David Bremner <david@tethera.net> writes: > Danh Doan <congdanhqx@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 _______________________________________________ notmuch mailing list notmuch@notmuchmail.org https://notmuchmail.org/mailman/listinfo/notmuch