From c0cd68fd3a85c67fb980f22080dbbea311d50c5e Mon Sep 17 00:00:00 2001
From: HiroIshida <h-ishida@jsk.imi.i.u-tokyo.ac.jp>
Date: Fri, 31 Jan 2025 21:58:11 +0900
Subject: [PATCH] docker: add option to keep launch file

---
 Dockerfile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 9a34800..31ec2fd 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -1,4 +1,5 @@
 FROM nvidia/cuda:11.2.2-runtime-ubuntu20.04
+ARG KEEP_LAUNCH_FILES=false
 ENV DEBIAN_FRONTEND=noninteractive
 RUN rm /etc/apt/sources.list.d/cuda.list
 
@@ -98,7 +99,10 @@ RUN cd ~/detic_ws/src &&\
     cd ~/detic_ws && catkin init && catkin build
 
 # to avoid conflcit when mounting
-RUN rm -rf ~/detic_ws/src/detic_ros/launch
+RUN if [ "$KEEP_LAUNCH_FILES" = "false" ]; then \
+        rm -rf ~/detic_ws/src/detic_ros/launch; \
+    fi
+
 
 ########################################
 ########### ENV VARIABLE STUFF #########