[mkl]

That will only happen if PROMPT_COMMAND also contains "history -c; history -r", right? "history -a" just saves it, but "history -c; history -r" clears memory history and reloads from disk.

[usefulcat]

Yes, that's correct. I overlooked that detail while reading the link on a phone, where the text is quite small.