mirror
/
repo2docker
kopia lustrzana https://github.com/jupyterhub/repo2docker
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

Update target_repo_dir docstring (#721) 

Update target_repo_dir docstring
pull/681/head
Tim Head 2019-06-27 12:44:42 +02:00 zatwierdzone przez GitHub
rodzic 6e93cb06a4 85b0d80b16
commit 2cded9b4ec
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 2 dodań i 1 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

3
repo2docker/app.py
Wyświetl plik

@ -354,7 +354,8 @@ class Repo2Docker(Application):
target_repo_dir = Unicode( target_repo_dir = Unicode(
"", "",
help=""" help="""
Path inside the image where contents of the repositories are copied to. Path inside the image where contents of the repositories are copied to,
and where all the build operations (such as postBuild) happen.
Defaults to ${HOME} if not set Defaults to ${HOME} if not set
""", """,