> 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 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/[email protected]

