Right now we have to hardwire the default options (such as in https://github.com/prefix-dev/shell/issues/187). We should allow making it configurable via templates.
