gioele/bashrc_dispatch

Launch different bash configurations for Linux vs OSX, interactive vs batch