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

[Theia][Plugin]Rework SSH extension to SSH plugin #9720

Closed
ashumilova opened this issue May 16, 2018 · 2 comments · Fixed by eclipse/che-theia-ssh-plugin#9
Closed

[Theia][Plugin]Rework SSH extension to SSH plugin #9720

ashumilova opened this issue May 16, 2018 · 2 comments · Fixed by eclipse/che-theia-ssh-plugin#9
Assignees

Comments

@ashumilova
Copy link
Contributor

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.

@vinokurig vinokurig self-assigned this Jun 6, 2018
@vinokurig vinokurig added the status/in-progress This issue has been taken by an engineer and is under active development. label Jun 6, 2018
@vinokurig
Copy link
Contributor

vinokurig commented Jun 11, 2018

Depends on: #9980, #9986, eclipse-theia/theia#2266

@vinokurig 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 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 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
@vparfonov vparfonov changed the title Rework SSH extension to SSH plugin [Theia][Plugin]Rework SSH extension to SSH plugin Oct 3, 2018
@benoitf
Copy link
Contributor

benoitf commented Oct 26, 2018

note that then the plug-in needs to be embedded instead of the extension
like #11718

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants