Closed roberth closed 4 years ago
This script doesn't use any features that are specific to bash. Would it work if we changed the shebang to #!/bin/sh
?
Yes, that would work.
Can you update the PR?
Resolved by c5c597b7672fca04376691b585b525592dbf588f
Hi, first of all, thanks for creating asciidoctor, it's pretty neat!
To quote https://stackoverflow.com/questions/21612980/why-is-usr-bin-env-bash-superior-to-bin-bash
/usr/bin/env searches PATH for bash, and bash is not always in /bin, particularly on non-Linux systems. For example, on my OpenBSD system, it's in /usr/local/bin, since it was installed as an optional package.