From 0f005ad0fb49d0d0a214d286f843fb42238c8ae9 Mon Sep 17 00:00:00 2001 From: "till.beemelmanns@ika.rwth-aachen.de" Date: Wed, 18 Oct 2023 19:01:11 +0200 Subject: [PATCH] use different names for docker containers --- docker/ros1_run.sh | 2 +- docker/ros2_run.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/docker/ros1_run.sh b/docker/ros1_run.sh index ecf0d55..ee692f9 100755 --- 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 \ No newline at end of file diff --git a/docker/ros2_run.sh b/docker/ros2_run.sh index a18bb57..bf4a858 100755 --- 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 \ No newline at end of file