use different names for docker containers

ika-rwth-aachen · Oct 18, 2023 · 0f005ad · 0f005ad
1 parent 191bc55
commit 0f005ad
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docker/ros1_run.sh b/docker/ros1_run.sh
@@ -6,5 +6,5 @@ DIR="$(cd -P "$(dirname "$0")" && pwd)"
 if docker ps --format '{{.Names}}' | grep -q "acdc"; then
     docker-run --name acdc
 else
-    docker-run --no-gpu --volume $(dirname "$DIR"):/home/rosuser/ws --image rwthika/acdc:ros1 --workdir="/home/rosuser/ws/catkin_workspace" --name acdc 
+    docker-run --no-gpu --volume $(dirname "$DIR"):/home/rosuser/ws --image rwthika/acdc:ros1 --workdir="/home/rosuser/ws/catkin_workspace" --name acdc_ros1 
 fi
diff --git a/docker/ros2_run.sh b/docker/ros2_run.sh
@@ -6,5 +6,5 @@ DIR="$(cd -P "$(dirname "$0")" && pwd)"
 if docker ps --format '{{.Names}}' | grep -q "acdc"; then
     docker-run --name acdc
 else
-    docker-run --no-gpu --volume $(dirname "$DIR"):/home/rosuser/ws --image rwthika/acdc:ros2 --name acdc
+    docker-run --no-gpu --volume $(dirname "$DIR"):/home/rosuser/ws --image rwthika/acdc:ros2 --name acdc_ros2
 fi