Bug#1074014: Bug#1073608: Bug#1074014: Bug#1073622: Bug#1073608: mksh, pax: no move to /usr going to happen, because:

[Russ Allbery <rra@debian.org>]

Helmut Grohne <helmut@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 (rra@debian.org)              <https://www.eyrie.org/~eagle/>