gitpod.md

Sourcegraph extensions on Gitpod

You can use our Sourcegraph IDE extensions in your Gitpod workspace.

Installation guide

Our IDE extensions work with the following IDEs supported by Gitpod.

Gitpod VS Code Desktop

1. Open the Extensions view by clicking on the Extensions icon in the Activity Bar on the side of your Gitpod VS Code workspace
2. Search and install our Sourcegraph

Gitpod VS Code for the Web

1. Open the Extensions view by clicking on the Extensions icon in the Activity Bar on the side of your Gitpod VS Code for the Web workspace
2. Search and install our Sourcegraph

Gitpod JetBrains IDEs

1. Follow the instructions in Gitpod's JetBrains IDE support docs to setup your workspace.
2. In your Gitpod JetBrains IDE workspace, select Preferences
3. Select Plugins: on host
4. Search and install Sourcegraph