Provide more guidance for using arvbox the first time.
authorPeter Amstutz <peter.amstutz@curii.com>
Fri, 12 Jul 2024 15:41:57 +0000 (11:41 -0400)
committerPeter Amstutz <peter.amstutz@curii.com>
Mon, 22 Jul 2024 15:54:25 +0000 (11:54 -0400)
commitec1463806a3a111f6dbebd8616dcc69f1d324abe
tree11b9c96e9c2828416cc05c916ed53476485f4437
parente3c39d18dcbb61ece0889838acc54cb81f50b889
Provide more guidance for using arvbox the first time.

When arvbox is ready, now provides more information about things that
need to be done before you log in to arvbox workbench.

Also add a workbench banner with text and links to the Arvados docs,
based on the playground banner.

no issue #

Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz@curii.com>
tools/arvbox/bin/arvbox
tools/arvbox/lib/arvbox/docker/cluster-config.sh
tools/arvbox/lib/arvbox/docker/service/banner/log/main/.gitstub [new file with mode: 0644]
tools/arvbox/lib/arvbox/docker/service/banner/log/run [new symlink]
tools/arvbox/lib/arvbox/docker/service/banner/run [new file with mode: 0755]
tools/arvbox/lib/arvbox/docker/service/banner/run-service [new file with mode: 0755]
tools/arvbox/lib/arvbox/docker/service/ready/run-service