Skip to content

Point the docker installer at dev-core's keg - #138

Merged
JPDuchesne merged 1 commit into
mainfrom
fix/docker-dev-core-home
Aug 27, 2026
Merged

Point the docker installer at dev-core's keg#138
JPDuchesne merged 1 commit into
mainfrom
fix/docker-dev-core-home

Conversation

@JPDuchesne

Copy link
Copy Markdown
Contributor

Summary

  • The tap restructure split dev into dev-core (the tool) and dev (the org deployment: etc config + a dependency edge on dev-core), but docker-install-build-deps.sh still resolves DEV_HOME/GEM_HOME through brew --prefix dev — whose keg now carries only docs and org config. Every image rebuild dies with No such file or directory -- .../opt/dev/libexec/dev/bin/install-build-deps.rb.
  • The image only runs install-build-deps.rb (reads the project's dependencies.rb; needs no org identity), so install dev-core directly and resolve its keg.
  • Second half of the snappy image-rebuild unblock (first was Trust the d3mlabs tap in the docker build-deps installer #137's tap trust); the script is fetched from main at image-build time, so merging is the fix.

Test plan

Made with Cursor

The tap restructured dev into dev-core (the tool) plus dev (the org
deployment: config + a dependency edge), but the docker build-deps
installer still resolved DEV_HOME/GEM_HOME through `brew --prefix dev` -
whose keg now carries only docs and etc config, so every image rebuild
died with "No such file or directory -- .../opt/dev/libexec/dev/bin/
install-build-deps.rb". The image only runs install-build-deps.rb, which
needs no org identity: install dev-core directly and resolve its keg.

Co-authored-by: Cursor <cursoragent@cursor.com>
@codecov

codecov Bot commented Aug 27, 2026

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

@JPDuchesne
JPDuchesne merged commit 13f1428 into main Aug 27, 2026
5 checks passed
@JPDuchesne
JPDuchesne deleted the fix/docker-dev-core-home branch August 27, 2026 13:16
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.

1 participant