From 6d8c40a5bfd18de8b9ccf1d563aff28b0b89b4d7 Mon Sep 17 00:00:00 2001 From: xfiderek Date: Tue, 9 Jul 2024 09:56:37 +0200 Subject: [PATCH] Rename rviz2 dockerfile (#142). --- nav2_demo/build.sh | 2 +- nav2_demo/{Dockerfile.rviz_nav2 => rviz_nav2.Dockerfile} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename nav2_demo/{Dockerfile.rviz_nav2 => rviz_nav2.Dockerfile} (100%) diff --git a/nav2_demo/build.sh b/nav2_demo/build.sh index 0a85784..ecf8e22 100755 --- a/nav2_demo/build.sh +++ b/nav2_demo/build.sh @@ -30,7 +30,7 @@ echo "" echo "##### Building additional ROS2 $BASE_ROSDISTRO image with Rviz2 and Nav2, for visualization and goal setting #####" echo "" -docker build -f Dockerfile.rviz_nav2 \ +docker build -f rviz_nav2.Dockerfile \ --build-arg BASE_ROSDISTRO=$BASE_ROSDISTRO \ -t $ORG/$RVIZ2_IMAGE:$TAG \ . diff --git a/nav2_demo/Dockerfile.rviz_nav2 b/nav2_demo/rviz_nav2.Dockerfile similarity index 100% rename from nav2_demo/Dockerfile.rviz_nav2 rename to nav2_demo/rviz_nav2.Dockerfile