-
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
Add ability to disable/remove default plug-ins in Che Theia #13734
Comments
This would be useful for people building on top of Che Theia and want to, for example, disable the welcome-plugin and provide their own (edit: or is there a way to brand/customize the default welcome page?) |
I don't think this is wanted for the end user. |
I think it is still actual. For example, sometimes I want to disable ports plugin to avoid notification for known servers. But I cannot do it as for now. |
@mmorhun could you create an issue describing the flow that is wrong from the end user perspective ? Describe what is wrong with the notifications, in which use case, etc ... |
@sunix I am afraid we do not have other solution. If we have a plugin which does something a user doesn't want, the only way to fix it is just disable/remove the plugin. |
#13964 may be an example of improvement without having the user to remove plugins. We don't want the end user to disable a plug-in because it is 'annoying' but suggest him to create issues to improve the UX. |
@sunix in the issue you mentioned we have problem of different kind: the link is not correct, which should be fixed. Here I talk about correct (from formal point of view) behaviour which not always desired by user. |
@sunix I would like to have an ability to disable (don't remove) default plugins. Why you don't allow me to do that? |
@vitaliy-guliy please create an issue explaining the value for the end user through a real case scenario. And let the triage team decide if this is to be done or not and when. |
Why do we need another issue? Is this one not good? |
This one solution to a problem. but the problem could have multiple ways to be solve. Please create an issue... |
I don't understand why do we need several issues on one thing. Is not that enough? |
I will give you only one because we are all busy for the release.... |
Issues go stale after Mark the issue as fresh with If this issue is safe to close now please do so. Moderators: Add |
Description
For now default plug-ins in Che Theia are build-in the Che Theia image. The goal of this issue is to allow disabling or removing some of them.
It might be helpful if some of default plug-ins are collided with functionality which is needed to be tested or developed. For example, development of one of the default plug-ins.
The text was updated successfully, but these errors were encountered: