Print what the deps script is doing.

This commit is contained in:
jimmy committed 2023-04-19 20:26:49 -04:00
1 parent adfce74993
commit 8b7bf6cc96
1 file changed
+2 -1
+2 -1
View File
@@ -29,7 +29,8 @@ RUN mkdir -p /home/j7s/workspace/
COPY --chown=1000:1000 src/ /home/j7s/workspace/src
WORKDIR /home/j7s/workspace
RUN sudo apt update -y && \
rosdep install --ignore-src --simulate --reinstall --default-yes --from-path src > deps.bash && \
echo "set -ex" > deps.bash && \
rosdep install --ignore-src --simulate --reinstall --default-yes --from-path src >> deps.bash && \
bash deps.bash && \
sudo rm -rf /var/lib/apt/lists/*
RUN . /opt/ros/$ROS_DISTRO/setup.sh && \