ksh werkt niet meer na de upgrade van Ubuntu 18 naar Ubuntu 20

[hansvl]

Met Ubuntu 18, ksh en VISUAL=vi kon ik met ESC k het vorige commando herhalen.
Na de upgrade naar Ubuntu20, ksh en VISUAL=vi krijg ik met ESC k niet meer het vorige commando.

Hoe kan ik die nuttige functionaliteit van de ksh in Ubuntu 20 terug krijgen?

[bart85]

Code: [Selecteer]

echo $0
Kun je hiermee zien welke shell je werkelijk gebruikt. Misschien is het terug gegaan naar bash.

[hansvl]

echo $0
ksh

Ik werk toch echt met de ksh
$ ps
    PID TTY          TIME CMD
  85670 pts/0    00:00:00 ksh
  87721 pts/0    00:00:00 ps

[hansvl]

Ik zie ook dat mijn $HOME/.sh_history file niet meer ge-update wordt.
Daarin worden de in ksh ingetypte commando's opgeslagen.
De laatste regel in die .sh_history file is "do-release-upgrade".
Met die do-release-upgrade heb ik mijn Ubuntu 18 ge-upgrade naar Ubuntu 20.

[hansvl]

De $HOME/.sh_history file was 83498 bytes groot.
Ik heb de $HOME/.sh_history file verwijderd.
De ksh heeft een nieuwe lege $HOME/.sh_history file aangemaakt.
Die nieuwe $HOME/.sh_history file wordt wel ge-update en het ksh probleem is opgelost.
Dus ESC k geeft weer het vorige commando.
De logica van het probleem en de oplossing ontgaat mij echter.