What's the point of this call to source?
#109
Unanswered
ivanperez-keera
asked this question in
Q&A
Replies: 3 comments
|
I'm opening this as a question first because it's likely that I'm just misunderstanding something. Please do me an educate 😄 |
0 replies
|
This could be combined with #102 / #108 into a dockerfile cleanup issue once space-ros/space-ros#114 is resolved |
0 replies
This is the case. Each |
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
I just noticed that we are all over the place calling
bash -c 'source <path>'before we execute ros-related commands. To me, this makes sense under the assumption that the adjustments made by those invocations do not persist across dockerRUNs.But then I noticed the same at the very end of a
RUN:https://github.com/space-ros/docker/blob/76cd412a7379dd5a5ec338b7b75659afbbf0c9a1/space_robots/Dockerfile#L78
What's the point of doing that?
If the effects of calling
sourcepersist acrossRUNs, then should these be simplified throughout the file? Note that just removing duplication is not enough of a reason to factorize those; there are circumstances under which you want to spell it out twice.If the effects of calling
sourcedo not persist acrossRUNs, then we should just remove that last bit from the line above.All reactions