-
Notifications
You must be signed in to change notification settings - Fork 97
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
Copy rosdoc2 sources into docker image instead of bind-mounting them read-only. #1030
Changes from all commits
6c398ef
26b941b
b5bf111
d6a4fa7
2a23971
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
|
@@ -167,6 +167,8 @@ else: | |
'sleep 1', | ||
'', | ||
'echo "# BEGIN SECTION: Build Dockerfile - doc"', | ||
'# copy rosdoc2 into image build context directory', | ||
'cp -r $WORKSPACE/rosdoc2 $WORKSPACE/docker_doc/rosdoc2', | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. In order to be available in the docker context to be copied into the image the |
||
'# build and run build_and_install Dockerfile', | ||
'cd $WORKSPACE/docker_doc', | ||
'python3 -u $WORKSPACE/ros_buildfarm/scripts/misc/docker_pull_baseimage.py', | ||
|
@@ -178,7 +180,6 @@ else: | |
' --rm ' + | ||
' --cidfile=$WORKSPACE/docker_doc/docker.cid' + | ||
' -v $WORKSPACE/ros_buildfarm:/tmp/ros_buildfarm:ro' + | ||
' -v $WORKSPACE/rosdoc2:/tmp/rosdoc2:ro' + | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. This mount is no longer useful as we're copying the contents into the image. |
||
' -v $WORKSPACE/ws:/tmp/ws' + | ||
' rosdoc2.%s_%s' % (rosdistro_name, doc_repo_spec.name.lower()), | ||
'echo "# END SECTION"', | ||
|
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.
This was creating problems for my nuclearsandwich/uid-override patches which are required if your host user id is
1000
as the ubuntu:noble image now has anubuntu
user there.