Make docker.sh have default argument

robotpt · May 6, 2020 · 5757a3f · 5757a3f
1 parent e67ef36
commit 5757a3f
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/docker/docker.sh b/docker/docker.sh
@@ -4,9 +4,16 @@
 FILE_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 cd $FILE_DIR
 
+if [ -z ${1+x} ]; 
+then 
+	MODE="debug";
+else
+	MODE=$1;
+fi
+
 SERVICE_NAME="abm_interaction"
 ROS_MASTER_URI=$ROS_MASTER_URI docker-compose up --build
-case "$1" in 
+case "$MODE" in 
 	setup )
 		echo "Calling setup script"
 		ROS_MASTER_URI=$ROS_MASTER_URI docker-compose run $SERVICE_NAME bash -c "source ~/ws/catkin_ws/devel/setup.bash && roslaunch abm_interaction setup_abm_interaction.launch"