Parece que a solução pode ser navegada para a seção de comentários no link que postei: consulte Histórico de bash:" ignoredups "e" erasedups "definem conflito com histórico comum entre as sessões
Em vez de:
export PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"
Uso:
PROMPT_COMMAND="history -n; history -w; history -c; history -r; $PROMPT_COMMAND"