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

Add implementation for env.shell plugin API #6657

Merged
merged 1 commit into from
Nov 29, 2019
Merged

Add implementation for env.shell plugin API #6657

merged 1 commit into from
Nov 29, 2019

Conversation

svor
Copy link
Contributor

@svor svor commented Nov 28, 2019

Signed-off-by: svor vsvydenk@redhat.com

What it does

This PR provides an implementation for env.shell VS Code API.

It is needed for eclipse-che/che#15116

How to test

It can be tested with VS Code Quarkus extension.

  1. Download the Quarkus extension and put it into /plugins folder
  2. Open some java project, for example https://github.com/quarkusio/quarkus-quickstarts/tree/master/getting-started
  3. Go to Quarkus: Add extension to currant project command
  4. Select some extensions and press Enter

The terminal will be opened and extension should start installing

Review checklist

Reminder for reviewers

@@ -115,6 +115,15 @@ export class TerminalServiceExtImpl implements TerminalServiceExt {
this.onDidChangeActiveTerminalEmitter.fire(this.activeTerminal);
}

private defauleShell: string;
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
private defauleShell: string;
private defaultShell: string;

@akosyakov akosyakov added plug-in system issues related to the plug-in system vscode issues related to VSCode compatibility labels Nov 29, 2019
Copy link
Member

@akosyakov akosyakov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

tested with Quarkus extension, works nicely

packages/plugin-ext/src/hosted/browser/hosted-plugin.ts Outdated Show resolved Hide resolved
Signed-off-by: svor <vsvydenk@redhat.com>
@akosyakov
Copy link
Member

please merge as soon as build is green, recently it takes a while

@svor svor merged commit da4154b into eclipse-theia:master Nov 29, 2019
@svor svor deleted the sv/shell branch November 29, 2019 16:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
plug-in system issues related to the plug-in system vscode issues related to VSCode compatibility
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants