kopia lustrzana https://github.com/jupyterhub/repo2docker
3dfe0a8143
We want to put the repo somewhere other than ${HOME}
so we can mount persistent storage in ${HOME} more easily.
Most of repo2docker assumes current directory is where
the contents are, so we should be able to get most of it
working by setting WORKDIR to ${REPO_PATH} and letting
${REPO_PATH} be configurable.
Unclear what to do for plain Dockerfiles, Legacy Dockerfiles &
nix.
|
||
|---|---|---|
| .. | ||
| buildpacks | ||
| contentproviders | ||
| __init__.py | ||
| __main__.py | ||
| _version.py | ||
| app.py | ||
| utils.py | ||