bashrc - shared bash history between multiple terms