16796: Add webshell to arvbox
authorPeter Amstutz <peter.amstutz@curii.com>
Wed, 2 Sep 2020 02:07:04 +0000 (22:07 -0400)
committerPeter Amstutz <peter.amstutz@curii.com>
Wed, 2 Sep 2020 02:29:12 +0000 (22:29 -0400)
commit8a17791b5f16b785eeaff86051dbcce84699ceac
tree69032601703306c6c599d16515ef3eb4e54e2717
parent9e9142058cdee68ad567836799883b1aa6962bbd
16796: Add webshell to arvbox

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