latest pushes

2024-05-10 02:41:17 -04:00
parent 9c83c4fa00
commit e7d107b744
3 changed files with 9 additions and 3 deletions
--- a/docker/Dockerfile.ros1
+++ b/docker/Dockerfile.ros1
@ -84,5 +84,10 @@ RUN cd $CATKIN_WS \
  && rosdep fix-permissions \
  && rosdep install -y --from-paths . --ignore-src --rosdistro ${ROS_VERSION}

+# Always source catkin_setup.sh when launching bash 
+COPY ../scripts/catkin_setup.sh /usr/local/bin/catkin_setup.sh
+RUN echo "source /usr/local/bin/catkin_setup.sh" >> /root/.bashrc
+RUN chmod +x /usr/local/bin/catkin_setup.sh
+
 ENTRYPOINT ["/usr/local/bin/catkin_setup.sh"]
 CMD ["bash"]