-
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
[Theia][Plugin]Rework SSH extension to SSH plugin #9720
Closed
Comments
vinokurig
added
the
status/in-progress
This issue has been taken by an engineer and is under active development.
label
Jun 6, 2018
Depends on: #9980, #9986, eclipse-theia/theia#2266 |
vinokurig
added
status/blocked
Issue that can’t be moved forward. Must include a comment on the reason for the blockage.
and removed
status/in-progress
This issue has been taken by an engineer and is under active development.
labels
Jun 11, 2018
vinokurig
added
status/in-progress
This issue has been taken by an engineer and is under active development.
status/blocked
Issue that can’t be moved forward. Must include a comment on the reason for the blockage.
and removed
status/blocked
Issue that can’t be moved forward. Must include a comment on the reason for the blockage.
status/in-progress
This issue has been taken by an engineer and is under active development.
labels
Jul 4, 2018
vinokurig
removed
the
status/blocked
Issue that can’t be moved forward. Must include a comment on the reason for the blockage.
label
Sep 6, 2018
This was referenced Sep 26, 2018
vparfonov
changed the title
Rework SSH extension to SSH plugin
[Theia][Plugin]Rework SSH extension to SSH plugin
Oct 3, 2018
note that then the plug-in needs to be embedded instead of the extension |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The existing https://github.com/eclipse/che-theia-ssh-plugin is developed based on the existing extensibility model in Theia IDE. But as far as new plugin model is on it's way and will be used in Che as the main one - there is need to rework SSH extension to SSH plugin.
The text was updated successfully, but these errors were encountered: