Skip to content

[fix] Fix dev container build#30

Merged
utkudotdev merged 9 commits into
mainfrom
tooling/fix-dev-container
Jan 25, 2026
Merged

[fix] Fix dev container build#30
utkudotdev merged 9 commits into
mainfrom
tooling/fix-dev-container

Conversation

@utkudotdev
Copy link
Copy Markdown
Member

No description provided.

Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR fixes the dev container build by reorganizing the Docker setup and moving installation scripts to a more organized structure.

Changes:

  • Consolidated Docker configuration by removing the old generic Dockerfile and separating concerns into Dockerfile.dev for development and Dockerfile.deploy for deployment
  • Moved install.sh to scripts/install_extra.sh for better organization and updated all references
  • Created scripts/deployed_entrypoint.sh to handle container startup for deployment scenarios
  • Added Docker Buildx setup to CI/CD workflows and updated documentation with warnings about the buildx requirement
  • Improved Dockerfile practices by adding a non-root cev user and updating development tooling from clang-format to clangd

Reviewed changes

Copilot reviewed 8 out of 9 changed files in this pull request and generated 8 comments.

Show a summary per file
File Description
scripts/install_extra.sh New script containing system package installation logic moved from root install.sh
scripts/deployed_entrypoint.sh New entrypoint script for deployment container that sources ROS environment and launches specified autonomy configurations
install.sh Removed - functionality moved to scripts/install_extra.sh
README.md Updated installation and deployment instructions to reflect new script locations and added Docker buildx warnings
Dockerfile.dev Development container with user setup, clangd installation, and dependency management
Dockerfile.deploy Deployment container optimized with staged builds and proper entrypoint configuration
Dockerfile Removed - replaced by separate dev and deploy Dockerfiles
.github/workflows/docker-image.yml Split CI workflow into separate jobs for building dev and deploy containers with buildx setup
.devcontainer.json Updated to use cev user and switched from clang-format extension to clangd

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment thread Dockerfile.deploy Outdated
Comment thread Dockerfile.deploy
Comment thread Dockerfile.deploy Outdated
Comment thread Dockerfile.dev Outdated
Comment thread scripts/install_extra.sh
Comment thread Dockerfile.dev Outdated
Comment thread Dockerfile.dev Outdated
Comment thread scripts/install_extra.sh
Copy link
Copy Markdown
Member

@sidharthmrao sidharthmrao left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

utkudotdev and others added 4 commits January 24, 2026 22:00
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
@Jklein64 Jklein64 self-requested a review January 25, 2026 21:37
Copy link
Copy Markdown
Member

@Jklein64 Jklein64 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good

@utkudotdev utkudotdev merged commit 46d157b into main Jan 25, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants