On Fri, Sep 26, 2014 at 8:19 PM, Mailing Lists firstname.lastname@example.org wrote:
On Fri, Sep 26, 2014, at 05:43 PM, Martti Kühne wrote:
Removing bashisms would not have any inpact in security but rather enable us switching /bin/sh away from /usr/bin/bash. Which we in general appear to agree on?
No problems there. All I'm saying is that switching should be done if the effort is worth it in terms of increased security, and if getting rid of bashisms isn't that huge a problem. Otherwise who am I to question a performance boost?
I'm not after a performance boost either, although again, it would be a nice side effect.
Getting rid of bashism isn't hard: upon further inspection, I find there are extremely few #!/bin/sh scripts that will not work with dash.
Perhaps debian has worked with upstream to improve the situation? I don't know.