doc: Suggest setting User in .ssh/config.
[arvados.git] / docker /
drwxr-xr-x   ..
-rw-r--r-- 9 .gitignore
-rw-r--r-- 4415 Makefile
-rw-r--r-- 2860 README.md
drwxr-xr-x - api
-rwxr-xr-x 8183 arvdock
drwxr-xr-x - base
-rw-r--r-- 1106 build.sh
-rwxr-xr-x 2368 config.rb
-rw-r--r-- 3064 config.yml.example
drwxr-xr-x - doc
-rwxr-xr-x 328 docker_build
-rwxr-xr-x 6948 mkimage-debootstrap.sh
drwxr-xr-x - passenger
drwxr-xr-x - postgresql
drwxr-xr-x - sso
drwxr-xr-x - warehouse
drwxr-xr-x - workbench