Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Facility for per-user customization: user-installed extensions #5

Open
mcg1969 opened this issue Mar 10, 2020 · 0 comments
Open

Facility for per-user customization: user-installed extensions #5

mcg1969 opened this issue Mar 10, 2020 · 0 comments

Comments

@mcg1969
Copy link
Collaborator

mcg1969 commented Mar 10, 2020

Currently it is not possible for individual users to install extensions in a consistent and persistent manner. What is possible is that, once a session has been launched, extensions can be installed (from the coder.io marketplace) and enabled. But that customization has to be repeated for every project and for every session.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@mcg1969