diff --git a/docker/Dockerfile b/docker/Dockerfile index 54c73b44ce888489e97b8595bdc6f3b683151197..fcb296baa785f38348ff55cc799d4189b8be0821 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -70,9 +70,9 @@ USER user RUN ls -al /home/user WORKDIR ${HOME}/work_dir -RUN git clone --recurse-submodules -b ga-demo https://git-st.inf.tu-dresden.de/ceti/ros/ccf/ccf_workspace.git -RUN pwd && ls +RUN echo "Cloning modules!" +RUN git clone --recurse-submodules -b ga-demo https://git-st.inf.tu-dresden.de/ceti/ros/ccf/ccf_workspace.git RUN echo "source /opt/ros/noetic/setup.bash" >> ~/.bashrc RUN /bin/bash -c "source /opt/ros/noetic/setup.bash && \