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.

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

Allow to install extension in all of profiles at once. #173489

Closed
waleedrana777 opened this issue Feb 5, 2023 · 4 comments
Closed

Allow to install extension in all of profiles at once. #173489

waleedrana777 opened this issue Feb 5, 2023 · 4 comments
Assignees
Labels
*duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality user-profiles User profile management
Milestone

Comments

@waleedrana777
Copy link

I have 5,6 profiles and 200+ extensions. If I want to install a common extension to all profiles, I have to do manually!
Allow to install extension in all profiles at once. One by one takes a lot of time.

@sandy081 sandy081 added feature-request Request for new features or functionality user-profiles User profile management labels Feb 6, 2023
@sandy081 sandy081 added this to the Backlog milestone Feb 6, 2023
@283375
Copy link

283375 commented Mar 6, 2023

+1 for this. Maybe we could make profiles "inheritable" (or "extendable"? I've seen this in some tsconfig.jsons), such as

common.json

{
  "workbench.colorTheme": "My Favorite Theme",
  "editor.fontFamily": "FiraCode NF, monospace",
  "editor.fontLigatures": true,
  "extensions": ["copilot", "git graph", "indent rainbow", "other useful exts", "..."]
  "...": "..."
}

then we could make python.json, web.json, ..., to inherit common.json, like

python.json

{
  "extends": "common.json",
  "editor.tabSize": 4,
  "extensions": ["pylance", "docstring generator", "..."]
}

web.json

{
  "extends": "common.json",
  "editor.tabSize": 2,
  "extensions": ["prettier", "eslint", "volar", "..."]
}

and thus we could only modify common.json to update all other profiles.

Maybe this is hard to implement, but I think it's a good idea for this issue. Would love to see this feature if possible😇

@ldelossa
Copy link

+1

It's often that I use profiles just to separate user configs between environments.

I usually want the same extensions to exist in different profiles, and I'll disable/enable them for a particular workspace.

Right now, there is no way of syncing settings after a profile has been created. Some type of sync/cascading settings would be super useful.

@sandy081
Copy link
Member

/duplicate

#157492

@vscodenpa vscodenpa added the *duplicate Issue identified as a duplicate of another issue(s) label Mar 16, 2023
@vscodenpa
Copy link

Thanks for creating this issue! We figured it's covering the same as another one we already have. Thus, we closed this one as a duplicate. You can search for similar existing issues. See also our issue reporting guidelines.

Happy Coding!

@vscodenpa vscodenpa closed this as not planned Won't fix, can't repro, duplicate, stale Mar 16, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Apr 30, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
*duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality user-profiles User profile management
Projects
None yet
Development

No branches or pull requests

5 participants