broadinstitute/cromshell

`update-server` command

sjfleming opened this issue · 0 comments

Port the update-server command over from 1.0

Allows the user to programmatically change the server name in the config file, without having to know how to do this manually.