Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Make it possible to add a VSCode extension #209

Closed
4 tasks
vitaliy-guliy opened this issue May 7, 2019 · 0 comments
Closed
4 tasks

Make it possible to add a VSCode extension #209

vitaliy-guliy opened this issue May 7, 2019 · 0 comments
Assignees

Comments

@vitaliy-guliy
Copy link
Contributor

vitaliy-guliy commented May 7, 2019

We need a way to be able to simply install a VS Code extension.

First step:

  • User should be able to pick a plugin from VS Code Marketplace Site and install it in Che Theia
  • User should be able to drag and drop 'Install' button from VS Code marketplace to the Plugins view

Following improvements:

  • Display list of installed VS Code plugins in dedicated list
  • User should be able to pick a VS Code plugin using Plugins view and install it by clicking 'Install' button

For the first step is enough to open https://marketplace.visualstudio.com/, find a plugin, copy its id and install by running a special command in Theia.

To persist installed plugins we need to download vscode plugins in dedicated directory and add this directory to volumes

   env:
       - name: THEIA_PLUGINS
         value: local-dir:///plugins,local-dir:///vscode-plugins
       - name: VSCODE_PLUGINS
         value: local-dir:///vscode-plugins
   volumes:
       - mountPath: "/plugins"
         name: plugins
       - mountPath: "/vscode-plugins"
         name: vscode-plugins
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant