adapted docker to copy repo instead of cloning

Arena-Rosnav · Feb 2, 2023 · d074b8d · d074b8d
1 parent a698f66
commit d074b8d
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -64,9 +64,7 @@ RUN echo 'eval "$(pyenv init --path)"' >> /root/.profile
 
 RUN mkdir -p /root/src/
 WORKDIR /root/src/
-RUN git clone https://github.com/Arena-Rosnav/arena-rosnav.git
-WORKDIR /root/src/arena-rosnav
-RUN git checkout v0.1.4
+COPY . /root/src/arena-rosnav
 
 RUN echo -e "source /opt/ros/noetic/setup.sh" >> /root/.bashrc
 RUN echo -e "source /root/devel/setup.sh" >> /root/.bashrc