Make the run-deploy.sh script much more general. It can now be used to
[arvados-dev.git] / install /
drwxr-xr-x   ..
-rwxr-xr-x 2131 easy-docker-install.sh