This can be solved by:
export PROMPT_COMMAND="history -a;history -r;$PROMPT_COMMAND"

-- 
bash HISTCONTROL=erasedups should erase duplicates from history file before 
saving
https://bugs.launchpad.net/bugs/189881
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to