http://askubuntu.com/questions/67283/is-it-possible-to-make-writing-to-bash-history-immediate http://askubuntu.com/questions/67283/is-it-possible-to-make-... mi

http://askubuntu.com/questions/67283/is-it-possible-to-make-writing-to-bash-history-immediate http://askubuntu.com/questions/67283/is-it-possible-to-make-... might do it? (In zsh I believe it's: setopt inc_append_history setopt share_history )