Hey there,

In our zsh setup we got a function `minimal-shell' which spawns a ksh93 with a usable small setup. The point of that function is to have a shell, that has very few dependencies so that unmounting stuff like /usr is possible.

That works well, but I'd still like to switch from ksh93 to mksh. Why? Well, we know mksh's developer; it links even less external libraries and it is more pleasant to use interactively.

To cut a long story short: There's a new mksh release coming up very soon now. And after that - as soon as a debian package is available - I'd like to make the move.

If somebody objects, scream now.

Regards, Frank