> 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 debian-devel-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/87d2ajl0mj.wl-...@pps.univ-paris-diderot.fr