20688: "workbench" host is now workbench2
authorPeter Amstutz <peter.amstutz@curii.com>
Thu, 3 Aug 2023 13:44:41 +0000 (09:44 -0400)
committerPeter Amstutz <peter.amstutz@curii.com>
Fri, 4 Aug 2023 15:26:16 +0000 (11:26 -0400)
commite7fe0e38fbf6b919e61ba1d595ef564d67b0a528
tree0517f9321d9181ee5d5d833014ba794843a63df7
parent6ab314a9968a1e3b9d896be006f0d5964cb72522
20688: "workbench" host is now workbench2

"workbench2" host redirects to workbench

Right now, both workbench and workbench2 roles still need to be
assigned, because the 'workbench' role is now configuring nginx but
the 'workbench2' state is the one that actually installs the package.

Will need to make some upstream changes to the formula.

Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>
tools/salt-install/config_examples/multi_host/aws/pillars/nginx_workbench2_configuration.sls
tools/salt-install/config_examples/multi_host/aws/pillars/nginx_workbench_configuration.sls