> Since I’m pretty sure we haven’t uncovered all of bash’s “features”, > wouldn’t it be a good opportunity to make a release goal of killing all > scripts with a #!/bin/bash shebang? Just to make things clear -- you're advocating #!/bin/sh and running dash as /bin/sh? (Likely alternatives include at least ksh and mksh, formerly pdksh.) --jch