I don't use bash, but zsh. When trying `./launch.config config` on the `dev` branch, the script assumes bash. Do you plan to support other shells?