From 47862e4dca5e5171523ddbdf6b9d8c1582e5c5c8 Mon Sep 17 00:00:00 2001
From: Lukas Zanger <113989586+lukaszanger@users.noreply.github.com>
Date: Tue, 19 Nov 2024 13:34:11 +0100
Subject: [PATCH] Modify comment

Co-authored-by: Lennart Reiher <lennart.reiher@ika.rwth-aachen.de>
---
 docker/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker/Dockerfile b/docker/Dockerfile
index 86da21c..eb1c68c 100644
--- a/docker/Dockerfile
+++ b/docker/Dockerfile
@@ -245,7 +245,7 @@ RUN source /opt/ros/$ROS_DISTRO/setup.bash && \
         rm -rf /var/lib/apt/lists/* ; \
     fi
 
-# create new install space and move to it if $WORKSPACE/install exists
+# move existing install space from base image to make room for new one
 RUN if [[ -d $WORKSPACE/install ]]; then \
         mkdir -p /opt/ws_base_image && \
         mv $WORKSPACE/install /opt/ws_base_image/ && \