Write export and source to /root/.bashrc in Dockerfiles to make them …

…effective on container launch
ethz-asl · Jan 31, 2024 · 491289b · 491289b
1 parent 28e31ae
commit 491289b
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 14 deletions.
diff --git a/Dockerfile_ros1_16_04 b/Dockerfile_ros1_16_04
@@ -37,13 +37,10 @@ RUN cd $WORKSPACE &&\
 # When a user runs a command we will run this code before theirs
 # This will allow for using the manual focal length if it fails to init
 # https://github.com/ethz-asl/kalibr/pull/346
-ENTRYPOINT export KALIBR_MANUAL_FOCAL_LENGTH_INIT=1 && \
- # /bin/bash -c "source \"$WORKSPACE/devel/setup.bash\"" && \ 
- cd $WORKSPACE && \
- /bin/bash
-
-
+RUN echo "export KALIBR_MANUAL_FOCAL_LENGTH_INIT=1" >> /root/.bashrc && \
+ echo 'source "$WORKSPACE/devel/setup.bash"' >> /root/.bashrc
 
+ENTRYPOINT ["/bin/bash"]
 
 
 

diff --git a/Dockerfile_ros1_18_04 b/Dockerfile_ros1_18_04
@@ -39,11 +39,10 @@ RUN cd $WORKSPACE &&\
 # When a user runs a command we will run this code before theirs
 # This will allow for using the manual focal length if it fails to init
 # https://github.com/ethz-asl/kalibr/pull/346
-ENTRYPOINT export KALIBR_MANUAL_FOCAL_LENGTH_INIT=1 && \
- # /bin/bash -c "source \"$WORKSPACE/devel/setup.bash\"" && \ 
- cd $WORKSPACE && \
- /bin/bash
+RUN echo "export KALIBR_MANUAL_FOCAL_LENGTH_INIT=1" >> /root/.bashrc && \
+ echo 'source "$WORKSPACE/devel/setup.bash"' >> /root/.bashrc
 
+ENTRYPOINT ["/bin/bash"]
 
 
 

diff --git a/Dockerfile_ros1_20_04 b/Dockerfile_ros1_20_04
@@ -35,10 +35,10 @@ RUN cd $WORKSPACE &&\
 # When a user runs a command we will run this code before theirs
 # This will allow for using the manual focal length if it fails to init
 # https://github.com/ethz-asl/kalibr/pull/346
-ENTRYPOINT export KALIBR_MANUAL_FOCAL_LENGTH_INIT=1 && \
- # /bin/bash -c "source \"$WORKSPACE/devel/setup.bash\"" && \ 
- cd $WORKSPACE && \
- /bin/bash
+RUN echo "export KALIBR_MANUAL_FOCAL_LENGTH_INIT=1" >> /root/.bashrc && \
+ echo 'source "$WORKSPACE/devel/setup.bash"' >> /root/.bashrc
+
+ENTRYPOINT ["/bin/bash"]