Theia should be the default editor #12835
Labels
kind/enhancement
A feature request - must adhere to the feature request template.
severity/P1
Has a major impact to usage or development of the system.
Description
When a user defines a Che 7 workspace (using a devfile, a workspace json or a stack) he needs to specify the editor. Otherwise, if no tools are defined, he gets the following error:
and, if at least a tool is defined, the workspace is created but the execution fails (wsagent server doesn't exist):
Most of the users will only want to use the default editor (che-theia) and we should make it possible to use a devfile without a theia-editor and without tools.
In addition, if the editor is Theia, the
exec-plugin
should be loaded by default:For instance a user should be able to use the following devfile
and it should be equivalent to
The text was updated successfully, but these errors were encountered: