some bashrc options