> Bash is a much slower shell than Dash, which is why Debian and friends don't use it as /bin/sh Their advice is mostly about using a known interpreter, rather

> Bash is a much slower shell than Dash, which is why Debian and friends don't use it as /bin/sh Their advice is mostly about using a known interpreter, rather than 'vague POSIX hand-waving'; e.g. they end that section with: > The key message here, of course, is to choose a specific shell. If you’d rather use ZSH, or Python or Node for that matter, set it to that. Pick a specific language so you can stop targeting a lowest common denominator Your suggestion of Dash is compatible with that (as is any other particular shell interpreter). An analogy would be running Selenium tests with particular browsers, rather than using /usr/bin/www-browser and trying to accomodate lynx, dillo, netsurf, ...