bash history in multiple terminal windows