-
Notifications
You must be signed in to change notification settings - Fork 50
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
Update Dockerfile Julia 1.3.1->1.5.3 #62
Conversation
Use Julia 1.5.3 instead of 1.3.1 (is there any reason not to do update?)
Update Dockerfile
make a parameter for easily changing Julia version [suggested by @fplk](probcomp#62 (comment))
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.
Looks good on reading. To minimally test it, can you build and run the image and verify that the notebooks still run?
tar zxf julia-${JULIA_VERSION_FULL}-linux-x86_64.tar.gz && \ | ||
mkdir -p "${JULIA_INSTALLATION_PATH}" && \ | ||
mv julia-${JULIA_VERSION_FULL} "${JULIA_INSTALLATION_PATH}/" && \ | ||
ln -fs "${JULIA_INSTALLATION_PATH}/julia-${JULIA_VERSION_FULL}/bin/julia" /usr/local/bin/ && \ |
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.
why /usr/local/bin
rather than /usr/bin
? (answer might be "the convention is pretty vague anyway," just wondering)
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.
just because @fplk suggested it :) do you have a preference?
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.
/usr/bin is for distribution-managed binaries.
I tested with I tested with |
Nested Virtual Environments Usually Antipattern Upgrading to 20.04 Image? Comments Regarding Upgrades in Near Future Xuan mentioned:
In addition, Marco commented:
|
Consolidated Base Image with Gen Main Project The original idea was that if we have solid Gen images for CPU and GPU projects like gen-quickstart and GenSceneGraphs could inherit from it. You will see that the Julia installation there is virtually identical to what I proposed above (it's just still on 1.5.1). When I find a free minute I can finish that PR and just adapt this repo to build upon that image. That's probably the cleanest solution. Afterwards, I can chat with Ben how and whether to base GSG on the same base image. Makes sense? |
Missed the replies until now, sorry for the delay. I recommend we keep the scope of this PR small so that @postylem can unblock his downstream work, and move most of the above discussion to a separate issue where it can be discussed on a separate timeline. TBH, personally I think we should have this PR literally just change all Thoughts? |
As is, all this PR does is change the 1.3 to 1.5, but in a parametrized way... I don't think that should introduce any bugs, could it? I could change that back the link to /usr/bin rather than /usr/local/bin, so that's really all it does, or I could do as you say and just go back to literally changing the number, I will defer to whatever you think Ben. For what I am using it for (the gen pset), I am currently just using the 20.04 version of the dockerfile with v1.5, and it is working well. |
Sadly, bugs are always possible, especially when it looks like they're impossible. But I agree, it's reasonable to keep the parameterized version number with the known risk (believed unlikely) of having to later go back and fix some unseen issue. Given that you've verified:
I'm ok with merging the PR in its current state. @fplk, agree? |
Merging seems fine. However, one nitpick:
I think this creates two AUFS layers. Why? Seems like it would be better to just do:
Similarly: Is this really necessary?
Or can we do this?
And finally, it seems like the original Dockerfile still exists. Is this intended or should we go the step and replace the old Dockerfile with 20.04? |
I did chain those commands with &&, as you suggest @fplk (it makes sense to me, and I'd I wondered about that, though I'm rather unclear about when/whether fewer layers is desirable in general), but I left the original Dockerfile there. I thought that change should be a seperate PR, if the point of this one was just to change the julia version, not also the ubuntu version. Though, given that the ubuntu 16.04 Dockerfile seems to be broken, I could start a PR for that change too (or include it in this one, if @bzinberg thinks that's a good idea). |
Migrating things punted by this PR to issues:
I think that might be all? |
Just built and pushed the new image as |
Is there any reason not to update to Julia 1.5.3?