bashrc: a nicer way to add multiple CSIs