Strange behaviour of the "cd" command

[Dr Rainer Woitok]

Carlos,

On Friday, 2017-07-14 23:18:21 -0500, you wrote:

> ...
> For this one, you can install the mksh package

Thanks for pointing out  the existance of an "mksh" package  for Ubuntu.
I just installed it, and this of course solves my problem.

But my original  question remains:  are there  any "ksh"  maintainers on
this list?  Will this thread ever reach them?

Sincerely,
  Rainer