CtrlK
BlogDocsLog inGet started
Tessl Logo

install-vscode-extension

How to install a VS Code extension from an extension ID. Useful when the user wants to add new capabilities to their VS Code environment by installing extensions.

67

Quality

80%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide

SecuritybySnyk

Passed

No findings from the security scan

Fix and improve this skill with Tessl

tessl review fix ./extensions/copilot/assets/prompts/skills/install-vscode-extension/SKILL.md
SKILL.md
Quality
Evals
Security

Installing VS Code extensions

  1. VS Code extensions are identified by their unique extension ID, which typically follows the format publisher.extensionName. For example, the Python extension by Microsoft has the ID ms-python.python.
  2. To install a VS Code extension, you need to use the VS Code command workbench.extensions.installExtension and pass in the extension ID. The args are of the format:
[extensionId, { enable: true, installPreReleaseVersion: boolean }]

NOTE: install the pre-release version of the extension if the user explicitly mentions it or if the current environment is VS Code Insiders. Otherwise, install the stable version.

  1. Run that command via the copilot_runVscodeCommand tool. Make sure to pass the skipCheck argument as true to avoid checking if the command exists, as we know it does.
Repository
posit-dev/positron
Last updated
First committed

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.