-
Notifications
You must be signed in to change notification settings - Fork 1
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Kitchen sink #3
Kitchen sink #3
Conversation
Only pluto
see comment below
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
docker/precompiled/Dockerfile
Outdated
ENV JULIA_DEPOT_PATH ${USER_HOME_DIR}/.julia | ||
ENV NOTEBOOK_DIR ${USER_HOME_DIR}/notebooks | ||
ENV JULIA_NUM_THREADS = 100 | ||
ENV JULIA_NUM_THREADS=100 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I have just seen that using "=" for variable assignment in Dockerfile does not work.
This line should be changed to
ENV JULIA_NUM_THREADS 100
Same for here:
ENV DEBIAN_FRONTEND noninteractive
For the non-precompiled Docker image I just corrected it.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
thanks! no wonder it wasn't picking up 😅
Docker repo name is to be updated from |
fonsp#13 (comment)