From db0a37289a7300eeb50917e1a63f9dc5a589c870 Mon Sep 17 00:00:00 2001 From: Philipp Caspers Date: Fri, 5 Jul 2024 14:36:00 +0200 Subject: [PATCH] chore(devcontainer): Use `.bash` instead of `.sh` as bash is the devcontainer's default shell. --- .devcontainer/entrypoint | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.devcontainer/entrypoint b/.devcontainer/entrypoint index 59a3bf2..69cdd20 100755 --- a/.devcontainer/entrypoint +++ b/.devcontainer/entrypoint @@ -5,8 +5,8 @@ echo "Building voraus_interfaces with colcon" echo "source ~/workspace/voraus_interfaces/install/setup.bash" >> ~/.bashrc echo "Building workspace with colcon" -. /opt/ros/humble/setup.sh && . ~/ros_deps/install/setup.sh && . ~/workspace/voraus_interfaces/install/setup.sh && cd ~/workspace && colcon build -echo "source ~/workspace/install/setup.sh" >> ~/.bashrc +. /opt/ros/humble/setup.bash && . ~/ros_deps/install/setup.bash && . ~/workspace/voraus_interfaces/install/setup.bash && cd ~/workspace && colcon build +echo "source ~/workspace/install/setup.bash" >> ~/.bashrc # Run the CMD (either the default from the Dockerfile or the one provided as docker run argument) exec "$@"