gitpod-io / openvscode-server

Run upstream VS Code on a remote machine with access through a modern web browser from any device, anywhere.

Home Page:https://www.gitpod.io/

Repository from Github https://github.comgitpod-io/openvscode-serverRepository from Github https://github.comgitpod-io/openvscode-server

Support installation of extensions to both user directory and general system directory

priggad opened this issue · comments

Currently by default extensions are installed to the home directory (/home/workspace) when using openvscode-server --install-extension or via the gui. This can be modified with the --extensions-dir flag to point at another directory however this then prevents users from installing extensions to their home directory as well. Is it possible to support both methods so that openvscode-server looks in both home directory and a general system directory? For example with vscode on linux extensions can be installed to /usr/share/code/resources/app/extensions which enables that extension for all users and this does not prevent the user from installing additional extensions for themselves (see this issue microsoft#56614 (comment)).

Have managed to achieve the desired functionality by installing extensions as builtin extensions:
openvscode-server --extensions-dir /home/.openvscode-server/extensions --install-extension </path/to/vsix>