A small bash tool to manage different working environments with different settings, environment variables, etc.