-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Expand support of devfile v2 in Che to include definition of Editors and Theia Plugins #18668
Comments
Is {
"recommendations": [
"redhat.java"
]
}
Theia detects both files and proposes a user to:
|
Yes, from Che-Theia point of view it's just a recommendation. We didn't thought about specifying explicitly the Anyway, even if Che-Theia should consider those as recommendations only, Che can and should be smarter than that: when only a git URL is provided Che can look for a |
If the user can override the recommendations (aka remove and add plugins she wants), where would this state be saved? If it's not in the devfile, the workspace is no longer recreatable nor shareable. |
@tsmaeder it would be stored in .che/che-theia-plugins.yaml and one goal/main usecase of devworkspace' is that you share a repository that contains a devfile, not a devfile referencing a repository. |
Isn't it the same or a sub-task of #18274? |
I have updated the description and make it clear how this issue is different from the che-theia plugins recommendations one. I have included both as subtask of #18669 |
I was under the impression that the
The |
My understanding is that there will be a translation system (like the plugin broker) that will convert the
If there are no feature gaps, we should probably use the |
I have created an issue for that #19034 |
This issue appears to be done except for
When will that be completed? |
^ @dmytro-ndp WDYT? |
I have created a dedicated issue for the remaining subtask #20385 and included it in STEP 3 milestone. I am closing this issue and including it back to STEP2 milestone. |
Is your enhancement related to a problem? Please describe.
Devfile plugins are not suited to specify che-theia plugins.
Describe the solution you'd like
Beyond recommendations in
.vscode/extensions.json
(covered by this issue) Che workspaces should support those configuration files in.che
folder:And it should be possible to inline those files as annotations in a devfile (there is a separate issue for that):
Additional context
Editors and theia plugins, can be specified in 3 different ways in a
che-editor.yaml
orche-theia.yaml
file:id
field (mandatory)reference
field (mandatory)Che Theia Plugin Definition Syntax
A Che Theia plugin is specified using the file che-theia-plugins.yaml of the che-plugin-registry syntax.
Che Editor Definition Syntax
A Che editor is specified using the file che-editors.yaml syntax (but we should move che-editors to devfile v2 syntax)
Overriding fields
Overriding of a registry or web reference is allowed through json merge patch.
Examples
che-editor.yaml
che-theia-plugins.yaml
Subtasks
.che/*.yaml
files.che/che-theia-plugins.yaml
files.che/che-editor.yaml
fileche-theia-plugins.yaml
devfile attributeche-editor.yaml
devfile attributeThe text was updated successfully, but these errors were encountered: