From 8b7bf6cc96ce837b9d2974ee4f146bf34c06e2f5 Mon Sep 17 00:00:00 2001
From: James Pace <jpace121@gmail.com>
Date: Wed, 19 Apr 2023 20:26:49 -0400
Subject: [PATCH] Print what the deps script is doing.

---
 docker/Dockerfile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 519c598..77aa367 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -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 && \