As far as I understand uses bash/history the function readline.
with bash 2.05b.0 : [... steps described above ...] $ wc -l $HISTFILE 2805 /tmp/history
So I get quite the same behavior.
I think readline/history is not thread save, but it's not critical.
Regards
Peter
As far as I understand uses bash/history the function readline.
with bash 2.05b.0 :
[... steps described above ...]
$ wc -l $HISTFILE
2805 /tmp/history
So I get quite the same behavior.
I think readline/history is not thread save, but it's not critical.
Regards
Peter