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

Document how to change the plugin registry via preferences #19237

Closed
ericwill opened this issue Mar 9, 2021 · 2 comments
Closed

Document how to change the plugin registry via preferences #19237

ericwill opened this issue Mar 9, 2021 · 2 comments
Assignees
Labels
area/doc Issues related to documentation kind/task Internal things, technical debt, and to-do tasks to be performed.
Milestone

Comments

@ericwill
Copy link
Contributor

ericwill commented Mar 9, 2021

Is your task related to a problem? Please describe.

It's possible to change the plugin registry URL via settings.json, but this information is not documented. We also validate the information entered in that setting, which should also be documented.

Describe the solution you'd like

Document such steps somewhere in our current Running custom registries articles.

Describe alternatives you've considered

None so far.

Additional context

eclipse-che/che-theia#1003

@ericwill ericwill added kind/task Internal things, technical debt, and to-do tasks to be performed. area/doc Issues related to documentation labels Mar 9, 2021
@che-bot che-bot added the status/need-triage An issue that needs to be prioritized by the curator responsible for the triage. See https://github. label Mar 9, 2021
@ericwill ericwill removed the status/need-triage An issue that needs to be prioritized by the curator responsible for the triage. See https://github. label Mar 9, 2021
@ericwill ericwill added this to the 7.29 milestone Mar 9, 2021
@yhontyk
Copy link

yhontyk commented Mar 10, 2021

Jira docs issue https://issues.redhat.com/browse/RHDEVDOCS-2770

@ericwill
Copy link
Contributor Author

I believe this is done, closing it now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/doc Issues related to documentation kind/task Internal things, technical debt, and to-do tasks to be performed.
Projects
None yet
Development

No branches or pull requests

4 participants