The config can be changed by modifying user.yaml, jenkins.yaml, or by passing in an environment variable with the jenkins_ prefix. I can change the prefix if this is confusing.

I can't commit a change to user.yaml or jenkins.yaml because it will break the current vagrant scripts, so my instructions to get started are using environment variables.