@probono, that would be so sensible because they have total control over the scripts that they need to speed up the boot process but no control over the scripts the rest of us use for general maintenance after bootup. Then they could announce that they will enforce such a change to /bin/dash in 6 or 12 months time. In the mean time they could lead an active public campaign to enlighten upstream devs as to the folly of their ways and provide support towards the Ubuntu goal of saving the world from bashisms so they can adopt dash as their overall primary shell.
However, if you have had any interaction with @sparr and the ubuntu devs then you'll notice a very blunt response that it's *your* fault for using bashisms on *your* systems so you need to fix *your* problem. This is the kind of mistake that a semi-closed commercial outfit can make where clean room techies are out of touch with the real world. The Debian and Fedora folks would have a very hard time mandating a change like this.
@probono, that would be so sensible because they have total control over the scripts that they need to speed up the boot process but no control over the scripts the rest of us use for general maintenance after bootup. Then they could announce that they will enforce such a change to /bin/dash in 6 or 12 months time. In the mean time they could lead an active public campaign to enlighten upstream devs as to the folly of their ways and provide support towards the Ubuntu goal of saving the world from bashisms so they can adopt dash as their overall primary shell.
However, if you have had any interaction with @sparr and the ubuntu devs then you'll notice a very blunt response that it's *your* fault for using bashisms on *your* systems so you need to fix *your* problem. This is the kind of mistake that a semi-closed commercial outfit can make where clean room techies are out of touch with the real world. The Debian and Fedora folks would have a very hard time mandating a change like this.