This content has moved to our user and admin guides and will be removed from Support articles in the near future. Please see our
Posit Docs site for up-to-date information.
New locations:
VS Code Extensions - Posit Workbench User Guide
VS Code Sessions - Posit Workbench Admin Guide
Pre-Installing VS Code extensions
Problem
There may be instances where users aren't able to install VS Code extensions. There can be a variety of reasons why this is the case, and in many cases, this may have been set by your administrator.
Overview
The default configuration allows users to manage their own VS Code extensions unless the configuration for global extensions has been put in place by an administrator, which restricts users' ability to download and install VS Code extensions. More information on this can be found here:
https://docs.posit.co/ide/server-pro/vscode_sessions/installation.html#general-installation
Another reason that you may not be able to install extensions is if you are in an air-gapped infrastructure setup. In this case, extensions will need to be installed globally for all users as below taken from the administration guide linked above:
Posit Workbench will be in a restricted or airgapped network, admins may need to install extensions globally for users
When code-server
is installed with our install-vs-code
script, we configure vscode.conf
with --extensions-dir=<installDirectory>/extensions
. This means only users who have permissions to this directory can install extensions and allows for a singular location where users can install extensions from. They can modify this directory to be whatever they want or they can remove it completely. If they remove it, users will install extensions locally and not have access to a global repository.
https://docs.posit.co/ide/server-pro/vscode_sessions/installation.html#pre-installing-vs-code-extensions
It may also be worth checking to see if the issue lies within user settings on the command palette:
Support Ticket
If you still have issues after completing the above, you can always lodge a support ticket, where our group of friendly, and incredibly knowledgeable staff can assist with any issues that you may be having. You can submit a ticket here:
Comments