> 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]

Reply via email to