In professional projects, however, you might miss one or the other functionality, which you can add through a VS Code Extension.
Installing extensions is a matter of dragging and dropping a
*.vsix file into the IDE’s Extensions view. Gitpod will automatically install and activate the new extension, and add an entry to the
.gitpod.yml file. You can now test the experience and if you are happy with it share this new experience with your team by pushing the change to your remote Git repository.
Here’s a short screencast:
Once you have uploaded an extension, the
.gitpod.yml is updated automatically. Of course you can also directly edit extensions sections in the editor to delete an extension or copy some of them from another project’s
Here is an example of how an extensions section might look like:
vscode: extensions: - Dart-Code.email@example.com:wCqXa/Ih/LTzfyko19agfQ== - Dart-Code.firstname.lastname@example.org:z+hDckQldFt7W9jYHkgiTQ==
You can also install extensions at the user level. This can be useful for extensions that you typically use in all your projects (e.g. a custom theme) and this doesn’t require changing each project’s configuration.
To do this, simply drag and drop a
*.vsix file into the “Installed for (user)” section of the Extensions view:
Gitpod already comes with a suite of commonly used VS Code extensions pre-installed by default.
You can view all pre-installed extensions by expanding the “Built-in” section at the bottom of the IDE’s Extensions view.
Microsoft prohibits the direct use of the Visual Studio Marketplace for any other software but their own. Although most extensions are open-source and not even developed or maintained by MS, the access to the Marketplace is restricted.
However, if you have the
.vsix file available, you can upload the extension yourself.
.vsix files are not only available from the Visual Studio Marketplace but can be found in the Open VSX marketplace and on GitHub as well.
An extension only needs to be uploaded once and is available for you and your teammates afterwards. Please make sure you comply with the licenses of those extensions. Additionally, of course, you can develop and upload your own extensions. They won’t be listed anywhere publicly except in your own .gitpod.yml.
Covering the full API surface of VS Code extension is a huge task and the Theia community has been working hard on that for over a year now.
As we are approaching 100% coverage of the implementation it is time to expose this feature to more users. Which is why we decided to make it available as a beta feature to the Gitpod community.
So if you want to help us hardening this exciting new feature, please try your favorite extensions and submit issues on the Theia project for anything that you think needs improving.