Skip to content

Commit

Permalink
chore(devcontainer): Use .bash instead of .sh
Browse files Browse the repository at this point in the history
as bash is the devcontainer's default shell.
  • Loading branch information
philipp-caspers committed Jul 5, 2024
1 parent fe9e157 commit 6dd6f6e
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .devcontainer/entrypoint
Original file line number Diff line number Diff line change
Expand Up @@ -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_ros_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_ros_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 "$@"

0 comments on commit 6dd6f6e

Please sign in to comment.