bashrc: don't sync history in multiple terminal