Skip to content

Support for remote development #12

@Hirevo

Description

@Hirevo

Problem statement

Visual Studio Code Insider supports remote development (kind of a vscode server), and with it, extensions installed server-side rather than client-side.
Some APIs will work for both without changes but maybe we are using an API for which this is not the case, so we need to investigate.

To-do

  • Investigate if there exists issues with remote development.
  • Fix these issues (if any).

Metadata

Metadata

Assignees

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions