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

update docs for config dirs

pull/927/head
Kenan Erdogan 2020-07-08 17:45:14 +02:00
rodzic ae6c2dc8b9
commit d90ede5239
1 zmienionych plików z 2 dodań i 2 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

4
docs/source/usage.rst
Wyświetl plik

@ -90,8 +90,8 @@ Where to put configuration files
* A folder named ``.binder/`` in the root of the repository. * A folder named ``.binder/`` in the root of the repository.
* The root directory of the repository. * The root directory of the repository.
`repo2docker` searches for these folders in order (``binder/``, ``.binder/``, Having both ``binder/`` and ``.binder/`` folders is not allowed.
root). Only configuration files in the first identified folder are considered. And if one of these folders exists, configuration files in that folder are considered only.
Check the complete list of :ref:`configuration files <config-files>` supported Check the complete list of :ref:`configuration files <config-files>` supported
by ``repo2docker`` to see how to configure the build process. by ``repo2docker`` to see how to configure the build process.