-
-
Notifications
You must be signed in to change notification settings - Fork 3.6k
Add a contrib Dockerfile for local build image on Linux #4608
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
Conversation
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.
Good that finally, we are solving this issue in an automated way.
I think that there are still some cases to solve/document that I mentioned in the comments. I'd say that after that we can merge this PR.
Summarizing,
- re tagging development images
- defining setting for python versions
Anything we can do to move this along? Seems like a useful improvement. |
It would be good to finish this PR and merge it. I think it's close. |
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions. |
Codecov Report
@@ Coverage Diff @@
## master #4608 +/- ##
==========================================
+ Coverage 78.42% 78.54% +0.11%
==========================================
Files 173 164 -9
Lines 10692 10089 -603
Branches 1357 1279 -78
==========================================
- Hits 8385 7924 -461
+ Misses 1958 1831 -127
+ Partials 349 334 -15
Continue to review full report at Codecov.
|
This is necessary as permissions are all incorrect on the paths that are shared between the host system and the Docker build container. Closes #2692
c3f9aad
to
22b53d0
Compare
I rebased this branch and push a new commit to always use |
This re-reverts back to using label for some of the dockerfile. Also, instead of creating a group, we simply groupmod the existing docs group. This doesn't address the configuration changes necessary for development images yet.
I've updated this pr to use a configurable label in the docker script. The last piece is how to handle |
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!
…opment This setting can be used from local_settings.py, and signifies that you have run ``docker_build.sh`` to build local development images that replace the UID/GID.
I added a quick hack to |
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.
Automatic enough
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.
👍
Let's see what new and interesting problems this will likely create for us eventually! 🤞 |
This is necessary as permissions are all incorrect on the paths that are
shared between the host system and the Docker build container.
Closes #2692