Create workspace_entrypoint.sh

CollaborativeRoboticsLab · Aug 1, 2024 · 6d9aa69 · 6d9aa69
1 parent af25f61
commit 6d9aa69
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/docker/workspace_entrypoint.sh b/docker/workspace_entrypoint.sh
@@ -0,0 +1,17 @@
+#!/bin/bash
+set -e
+
+if [ -f "/opt/ros/$ROS_DISTRO/setup.bash" ]; then
+	echo "sourcing /opt/ros/$ROS_DISTRO/setup.bash"
+	source /opt/ros/$ROS_DISTRO/setup.bash
+else
+	echo "notfound /opt/ros/$ROS_DISTRO/setup.bash"
+
+    echo "sourcing /opt/ros/$ROS_DISTRO/install/setup.bash"
+    source /opt/ros/$ROS_DISTRO/install/setup.bash
+fi	
+
+echo "sourcing $WORKSPACE_ROOT/install/setup.bash"
+source "$WORKSPACE_ROOT/install/setup.bash"
+
+exec "$@"