Ubuntu
bash package

  1. Bug #189881
  2. Comment #5

Comment 5 for bug 189881

Revision history for this message
Nos (7-launchpad-bleaksky-net) wrote :

Actually
PROMPT_COMMAND="history -a;history -c; history -r;$PROMPT_COMMAND"
is better because it doesn't cause your history numbers to double!