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