make binder directory visible

pull/86/head
Min RK 2017-10-05 00:29:10 +02:00
rodzic 364f0fea4d
commit a5188b41b8
9 zmienionych plików z 6 dodań i 6 usunięć

Wyświetl plik

@ -332,8 +332,8 @@ class BuildPack(LoggingConfigurable):
def binder_path(self, path):
"""Locate a file"""
if os.path.exists('.binder'):
return os.path.join('.binder', path)
if os.path.exists('binder'):
return os.path.join('binder', path)
else:
return path

Wyświetl plik

@ -1,2 +1,2 @@
FROM doesntmatter
# this file should be ignored because there's a .binder dir
# this file should be ignored because there's a binder dir

Wyświetl plik

@ -1,4 +1,4 @@
Binder Directory
----------------
top-level Dockerfile will be ignored if .binder/environment.yml exists.
top-level Dockerfile will be ignored if binder directory exists.

Wyświetl plik

@ -1,4 +1,4 @@
Binder Directory
----------------
top-level Dockerfile will be ignored if .binder/Dockerfile exists.
top-level Dockerfile will be ignored if binder directory exists.

Wyświetl plik

@ -1,4 +1,4 @@
Binder Directory
----------------
top-level environment.yml will be ignored if .binder/requiremets.txt exists.
top-level environment.yml will be ignored if binder directory exists.