Merge pull request #311 from aborruso/patch-1

To add the user bin folder to the path
pull/312/head
Tim Head 2018-05-16 07:49:05 +02:00 zatwierdzone przez GitHub
commit a6c001a391
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 3 dodań i 0 usunięć

Wyświetl plik

@ -71,6 +71,9 @@ ENV {{item[0]}} {{item[1]}}
{% endfor -%}
{% endif -%}
# So users can move executables here with postBuild, issue #557
ENV PATH '/home/jovyan/local/bin':${PATH}
{% if path -%}
# Special case PATH
ENV PATH {{ ':'.join(path) }}:${PATH}