> >I get a feeling that pdksh has a limit on the size of history
> >file 700kb.  However quick grepping does not reveal any
> >hard coded magic numbers.  Does anybody know if such
> >a limit exists?
> 
> what does echo $HISTSIZE say?

AFAIK $HISTSIZE is a number of commands, not bytes.

$ echo $HISTSIZE             
200000
$ cat .khistory | tr \\0 \\n | wc -l
   18815