Dash is 4x faster and 10x smaller than Bash. Bash's own manual page concludes that it's "to big and too slow." I have applications where I need those propertie

Dash is 4x faster and 10x smaller than Bash. Bash's own manual page concludes that it's "to big and too slow." I have applications where I need those properties, and I am not shy in selecting the correct tool. Bash's POSIX mode also does some wacky things when a script transitions in/out that encourage me to avoid it. https://unix.stackexchange.com/questions/148035/is-dash-or-some-other-shell-faster-than-bash https://unix.stackexchange.com/questions/148035/is-dash-or-s...