There are many 3rd-party scripts that begin with the "#!/bin/sh". Do you suggest I edit each one I encounter so that it has "#!/bin/bash"?
I know, I realize that this is not an everyday problem, but still it is annoying to troubleshoot an error when a script works flawlessly on one *nix system, but not on Ubuntu.
With dash, and I believe this is how this thread got started, the commands 'pushd' and 'popd' are not available. Similarly, a simple command like the following is also doesn't work:
What option do I have at my disposal when merely using the command line? Maybe that's where supporters of dash should weigh in.