diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 7e23c52..f2d1033 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -22,12 +22,13 @@ RUN apt update && apt upgrade -y # Install Git RUN apt install -y git +# Copy to preload the ros packages +COPY ./ /workspace/$USERNAME/ +RUN chown -R $USERNAME:$USERNAME /workspace/$USERNAME + # Change user USER $USERNAME -# Copy to preload the ros packages -COPY --chown=$USERNAME:$USERNAME ./ /workspace/$USERNAME/ - # Rosdep update RUN rosdep update RUN rosdep install --from-paths src --ignore-src --rosdistro humble -y