[ARVADOS] updated: 1.3.0-3098-g472fff42d

[Git user]

Summary of changes:
 .../app/views/users/_virtual_machines.html.erb     |  2 +-
 .../app/views/virtual_machines/webshell.html.erb   | 42 +++++++++++++----
 apps/workbench/config/initializers/assets.rb       |  2 +-
 .../assets/javascripts}/webshell/shell_in_a_box.js | 52 +++++++++++-----------
 .../assets/stylesheets}/webshell/styles.css        | 38 +++++++++-------
 .../vm-login-with-webshell.html.textile.liquid     |  2 +-
 .../getting_started/workbench.html.textile.liquid  | 12 +++--
 doc/user/index.html.textile.liquid                 |  2 +-
 tools/arvbox/bin/arvbox                            |  1 +
 tools/arvbox/lib/arvbox/docker/Dockerfile.base     |  2 +-
 tools/arvbox/lib/arvbox/docker/cluster-config.sh   |  3 ++
 tools/arvbox/lib/arvbox/docker/common.sh           |  2 +
 tools/arvbox/lib/arvbox/docker/service/nginx/run   | 45 +++++++++++++++++++
 .../service/{api => webshell}/log/main/.gitstub    |  0
 .../docker/service/{api => webshell}/log/run       |  0
 .../arvbox/lib/arvbox/docker/service/webshell/run  | 43 ++++++++++++++++++
 .../lib/arvbox/docker/service/webshell/run-service | 13 ++++++
 17 files changed, 203 insertions(+), 58 deletions(-)
 rename apps/workbench/{public => lib/assets/javascripts}/webshell/shell_in_a_box.js (99%)
 rename apps/workbench/{public => lib/assets/stylesheets}/webshell/styles.css (93%)
 copy tools/arvbox/lib/arvbox/docker/service/{api => webshell}/log/main/.gitstub (100%)
 copy tools/arvbox/lib/arvbox/docker/service/{api => webshell}/log/run (100%)
 create mode 100755 tools/arvbox/lib/arvbox/docker/service/webshell/run
 create mode 100755 tools/arvbox/lib/arvbox/docker/service/webshell/run-service

       via  472fff42d6105a4457deeb1579e9d14caffc82dc (commit)
       via  0f3db3d5f1bc976f38f6eed05c236ece79b7f876 (commit)
       via  64d38dcbfb53c240a99523e250ad576788954a56 (commit)
       via  513865a8e58b8adf28c17f12093053cdb62cfa71 (commit)
       via  0036a0a5755f6c0fb5c7747c7d4442c0972b696c (commit)
       via  a730ff3281e2a4eff04240e6233c9c13ac8fdbfb (commit)
       via  b6462cf67d9c3a0d9eb6d2d6997b2a88ece8ad6c (commit)
       via  98db65de63c9e2acfeae6636ccc619171635bda0 (commit)
       via  8a17791b5f16b785eeaff86051dbcce84699ceac (commit)
       via  83d9f52a85cd19e9821d54b3d6ec9efdff337777 (commit)
      from  8bad7194a84fd1973f9b19d68db3dd56cbca3162 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.


commit 472fff42d6105a4457deeb1579e9d14caffc82dc
Merge: 8bad7194a 0f3db3d5f
Author: Peter Amstutz <peter.amstutz at curii.com>
Date:   Fri Sep 4 10:15:40 2020 -0400

    Merge branch '16796-arvbox-webshell' refs #16796
    
    Arvados-DCO-1.1-Signed-off-by: Peter Amstutz <peter.amstutz at curii.com>


-----------------------------------------------------------------------


hooks/post-receive
--