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

Define global settings which apply to all profiles #174825

Closed
RoyalFoxy opened this issue Feb 20, 2023 · 2 comments
Closed

Define global settings which apply to all profiles #174825

RoyalFoxy opened this issue Feb 20, 2023 · 2 comments
Assignees
Labels
*duplicate Issue identified as a duplicate of another issue(s)

Comments

@RoyalFoxy
Copy link

I would like if there was a way to define global settings that apply to all profiles unless overwritten. I thought of two way this could be achieved.

  1. You could make it that the user settings aka the default settings.json is applied to all profiles and all profiles inherit the contents of the the default profiles settings unless overwritten.
  2. You could create a third settings.json added to the default settings.json and the profile specific ones which inherits settings that are applied to all profiles aswell as the default profile.

I think this could save some headaches of copy pasting settings when changing them e.g. when defining default formatters aka prettier for java- and typescript when you have a vue and a react profile and you would have to copy the setting sinbetween or when customizing your theme of choice to suit your needs more.

This would also allow to have a more compact profile settings.json as from my experience so far there are only a few settings I change from the default if any at all and mostly just have different extensions installed for those profiles.

@anthonyvdotbe
Copy link

This is a duplicate of #156144, isn't it?

@rzhao271 rzhao271 closed this as not planned Won't fix, can't repro, duplicate, stale Feb 21, 2023
@rzhao271 rzhao271 added the *duplicate Issue identified as a duplicate of another issue(s) label Feb 21, 2023
@sandy081
Copy link
Member

/duplicate

#176813

@github-actions github-actions bot locked and limited conversation to collaborators Apr 7, 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)
Projects
None yet
Development

No branches or pull requests

4 participants