Helmut Grohne <hel...@subdivi.de> writes: > What changed over time is that we first added diversions for > transitioning from bash to dash and later removed that mechanism as the > transition is complete and the desire to choose your /bin/sh is not as > prevalent as it used to be (mainly because choice of /bin/sh no longer > affects boot speed much).
Just as a quick side note on this point: there will be an ongoing need and desire to switch /bin/sh to bash, and I am dubious of the belief that this will become less prevalent as long as dash is the default /bin/sh, which appears to still be the case to me based on dpkg -L. It's unforutnately still common to see shell scripts, particularly in proprietary software, that use bashisms in #!/bin/sh scripts. Changing /bin/sh to point to bash is very common in some environments to avoid having to manually fix all of those scripts to point to bash directly. -- Russ Allbery (r...@debian.org) <https://www.eyrie.org/~eagle/>