Mathieu Lirzin wrote:
I don't think, since ‘grep -r '^#! *\$'’ doesn't bring any results.
OK, thanks for checking. I installed it into gnulib master after creating a ChangeLog entry for it and tweaking the punctuation in the commit message
Considering the requirements of having an absolute filename and not being able to reliably guess that filename, it seems that we should either use ‘which’ or add a configure phase to generate the Makefile with the correct SHELL variable.
Probably overkill, as Bruno wrote. And 'which' has its own portability problems.