Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

devbox: export API for devbox install #2437

Merged
merged 1 commit into from
Dec 5, 2024
Merged

devbox: export API for devbox install #2437

merged 1 commit into from
Dec 5, 2024

Conversation

gcurtis
Copy link
Collaborator

@gcurtis gcurtis commented Dec 5, 2024

Add a top-level package that makes a subset of the internal/devbox functionality (currently just install) public.

There are some places where we want to run devbox commands (such as in the prefetcher) which requires us to run the CLI externally. Exporting a package means we can run the command implementation directly and don't need to install the CLI (similar to what we're doing with autodetect).

Add a top-level package that makes a subset of the `internal/devbox`
functionality (currently just install) public.

There are some places where we want to run devbox commands (such as in
the prefetcher) which requires us to run the CLI externally. Exporting a
package means we can run the command implementation directly and don't
need to install the CLI.
@gcurtis gcurtis requested review from mikeland73 and savil December 5, 2024 20:46
Copy link
Contributor

@mikeland73 mikeland73 left a comment

Choose a reason for hiding this comment

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

For future thought: should we move devbox package out of internal and into pkg?

@gcurtis
Copy link
Collaborator Author

gcurtis commented Dec 5, 2024

I don't think I would move the whole package because there's a lot of cruft in there. If we do it piecemeal, we can keep the API clean and only expose the useful parts.

@gcurtis gcurtis merged commit bea590f into main Dec 5, 2024
29 checks passed
@gcurtis gcurtis deleted the gcurtis/public-api branch December 5, 2024 23:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants