From ee89013e7d11c69d07a5b2bb97daaff09fc2dbbb Mon Sep 17 00:00:00 2001 From: Samuel Lachance Date: Sun, 24 Mar 2024 21:45:15 -0400 Subject: [PATCH] test --- .devcontainer/Dockerfile | 18 +++++++++++------- .dockerignore | 1 + 2 files changed, 12 insertions(+), 7 deletions(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 447b591..d357f2c 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -22,16 +22,20 @@ RUN apt update && apt upgrade -y # Install Git RUN apt install -y git -# Copy to preload the ros packages -COPY ./ /workspace/$USERNAME/ - # Change user USER $USERNAME -# Rosdep update +# Source the ROS setup file +RUN echo "source /opt/ros/${ROS_DISTRO}/setup.bash" >> ~/.bashrc && \ + echo "source /gazebo/gazebo_ws/install/setup.bash" >> ~/.bashrc + +# Install ROS dependencies RUN rosdep update +# Copy to preload the ros packages +COPY ./ /workspace/$USERNAME/ +COPY ./.github /workspace/$USERNAME/build +COPY ./devel /workspace/$USERNAME/devel + + RUN rosdep install --from-paths src --ignore-src --rosdistro humble -y -# Source the ROS setup file -RUN echo "source /opt/ros/${ROS_DISTRO}/setup.bash" >> ~/.bashrc -RUN echo "source /gazebo/gazebo_ws/install/setup.bash" >> ~/.bashrc diff --git a/.dockerignore b/.dockerignore index 80dd262..cf145f1 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1 +1,2 @@ +build/ log/