Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'develop-dockerfile-ros' into develop. Close #158.
**Description** The new Space ROS no longer has packages in the user's home. Instead, the Space ROS installation has been moved to `/opt`. This makes the Dockerfile produced by the ROS backend fail, since it sources a `setup.bash` file that no longer exists. **Type** - Bug: Code produced cannot be built. **Additional context** None. **Requester** - Ivan Perez. **Method to check presence of bug** Building and running the dockerfile completes correctly. **Expected result** The CI job that runs the ROS backend completes successfully, indicating that the dockerfile produced builds and runs correctly. **Solutoin implemented** Modify produced dockerfile to: - Depend on a specific version of Space ROS (humble-2024.10.0, latest as of the time of this writing). - Source the `setup.bash` file from its correct location. **Further notes** None.
- Loading branch information