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

Change emphasis into a "note" admonition

pull/422/head
Evert Rol 2018-10-03 11:13:58 +02:00
rodzic 86c97d6e7b
commit 38d95c0854
1 zmienionych plików z 3 dodań i 1 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

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

@ -173,7 +173,9 @@ images provide core functionality, compact image sizes, and efficient builds. We
trying the other configuration files before deciding to use your own Dockerfile. trying the other configuration files before deciding to use your own Dockerfile.
With Dockerfiles, a regular Docker build will be performed. With Dockerfiles, a regular Docker build will be performed.
**If a Dockerfile is present, all other configuration files will be ignored.**
.. note::
If a Dockerfile is present, all other configuration files will be ignored.
See the `Advanced Binder Documentation <https://mybinder.readthedocs.io/en/latest/dockerfile.html>`_ for See the `Advanced Binder Documentation <https://mybinder.readthedocs.io/en/latest/dockerfile.html>`_ for
best-practices with Dockerfiles. best-practices with Dockerfiles.