Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

default work directory for github repo #150

Open
anaderi opened this Issue Sep 6, 2016 · 0 comments

Comments

Projects
None yet
1 participant
Owner

anaderi commented Sep 6, 2016 edited

default work directory for github repo should be $HOME/work otherwise /notebooks and / are not always accessible.
also $JPY_WORKDIR at container start time should point to this location.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment