Skip to content

Privately hosted Devbox Plugins on non-Github Git Servers #2048

@Bee-Mar

Description

@Bee-Mar

What problem are you trying to solve?

Devbox plugins are great, however I would like to retrieve privately hosted Devbox plugins that are stored on my Gitlab server. If this is possible, it's not clear how to go about using the correct address & protocol. It doesn't appear Devbox even supports public facing plugins hosted on Gitlab.

What solution would you like?

Support the same protocols and syntax flakes currently do:

ie.:

{
  "packages:": [],
  "include:" [
     "git+ssh://[email protected]/devbox-plugins/my-plugin?dir=test"
  ]
}

Alternatives you've considered

If this is not currently supported, I'm more than happy to create a PR with the feature.

Metadata

Metadata

Assignees

Labels

featureNew feature or requesttriageIssue needs triage

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions