mirror of
https://github.com/open-webui/open-terminal.git
synced 2026-11-05 01:27:28 +00:00
[PR #28] [CLOSED] adding ROS and jabas customisations #113
Labels
No labels
bug
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
open-webui/open-terminal#113
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/open-webui/open-terminal/pull/28
Author: @marc-hanheide
Created: 3/7/2026
Status: ❌ Closed
Base:
main← Head:jabas_version📝 Commits (1)
54f1992fix: comment out ARM64 platform in Docker workflow and update Dockerfile to include additional dependencies📊 Changes
2 files changed (+11 additions, -2 deletions)
View changed files
📝
.github/workflows/docker.yml(+1 -1)📝
Dockerfile(+10 -1)📄 Description
This pull request updates the Docker setup to use a ROS-based image instead of the standard Python image, and adjusts the workflow and dependencies accordingly. The main changes focus on transitioning to ROS, updating the base image and installed packages, and modifying the GitHub Actions workflow to reflect these changes.
Docker image and dependencies update:
Dockerfilefrompython:3.12toros:${ROS_DISTRO}(withROS_DISTROdefaulting tohumble), and set the shell to use/bin/bashfor compatibility with ROS.python3-pip,python3-venv, andros-${ROS_DISTRO}-ros-baseto the list of packages in the Docker build process.Workflow adjustments:
linux/arm64platform in the.github/workflows/docker.ymlmatrix, likely due to compatibility issues with the new ROS-based image.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.