Update bash history between terminals in real time