We run the same set of commands each time to deploy new versions of the configuration. This PR adds a script which will reduce the manual input required for a re-deploy to simply running the script as root.
This script will also post notifications to the #server channel:
This reduces another manual step in the deployment process that the person deploying needs to worry about.
This script is still WIP. I plan to improve it in future PRs. Several of the TODO notes can be fixed / removed now if reviewers have strong opinions one way or the other. If not, we can leave them in the script for now and decide later.
Summary
We run the same set of commands each time to deploy new versions of the configuration. This PR adds a script which will reduce the manual input required for a re-deploy to simply running the script as root.
This script will also post notifications to the #server channel:
This reduces another manual step in the deployment process that the person deploying needs to worry about.
This script is still WIP. I plan to improve it in future PRs. Several of the TODO notes can be fixed / removed now if reviewers have strong opinions one way or the other. If not, we can leave them in the script for now and decide later.