I used the answer in https://unix.stackexchange.com/a/1292/41729 to enable real-time shared history among separate bash terminals. As explained in the answer above, this is achieved by adding:
# avoid duplicates.. export HISTCONTROL=ignoredups:erasedups # append history entries.. shopt -s histappend # After each command, save and reload history export PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"
This works fine if the bash shells are separate (e.g. opening different bash terminals using
CTRL+ALT+T. However it doesn't work if I use
tabs (from an open terminal `CTRL+SHIFT+T) rather than new windows. Why this difference in behaviour? How can I share the bash history also among various tabs?
UPDATE: I noticed an unusual behaviour: if I type
CTRL+C then the last command typed in any of the other terminals (both a tab or not) is correctly displayed. It is like if the CTRL+C forces a flush of the history so that then it is correctly shared.
As an example the outputs (T1 denotes terminal 1 and T2 terminal 2):
T1: ls -lah <enter> # the list of files and directory is shown T2: cd Documents <enter> T1: <up> (i.e. I press the up arrow) ls -lah #i.e the last command in terminal 1 is shown rather than the last of terminal 2 ^C (i.e. I press CTRL+C) <up> cd Documents #the last command issued in terminal 2 is correctly displayed
Hope this can offer any hint!