Skip to content
Snippets Groups Projects
Commit 21b9ab91 authored by TIm Kluge's avatar TIm Kluge
Browse files

ref #1: Move package retrieval before source copy so that it can be cached

parent 4ae56a96
No related branches found
No related tags found
No related merge requests found
...@@ -17,10 +17,10 @@ RUN useradd -m $USERNAME && \ ...@@ -17,10 +17,10 @@ RUN useradd -m $USERNAME && \
usermod --uid $uid $USERNAME && \ usermod --uid $uid $USERNAME && \
groupmod --gid $gid $USERNAME groupmod --gid $gid $USERNAME
WORKDIR /home/$USERNAME
COPY src /home/$USERNAME/src
RUN apt-get update && apt-get install -y \ RUN apt-get update && apt-get install -y \
python-catkin-tools bash python-catkin-tools bash
WORKDIR /home/$USERNAME
COPY src /home/$USERNAME/src
RUN rosdep install --from-paths . -r -y RUN rosdep install --from-paths . -r -y
RUN catkin config \ RUN catkin config \
--extend /opt/ros/melodic && \ --extend /opt/ros/melodic && \
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment