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
--
In protocol design, perfection has been reached not when there is
nothing left to add, but when there is nothing left to take away.
-- RFC 1925
