bosshack/polka — pull request #22 by tmiller (2014-12-04 17:34:13+00:00)
Title: Sync history file between bash sessions

When using multiple bash sessions at the same time the history file gets
out of sync and you can not recall commands from other sessions. This
change syncs the history file between sessions. If you need a command
immediately in another session you may have to press enter once to get
it to sync up the history since this is done using "PROMPT_COMMAND".