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

Feature: Install an extension to multiple profiles #178890

Closed
lzervos opened this issue Apr 1, 2023 · 2 comments
Closed

Feature: Install an extension to multiple profiles #178890

lzervos opened this issue Apr 1, 2023 · 2 comments
Assignees
Labels
*duplicate Issue identified as a duplicate of another issue(s) user-profiles User profile management

Comments

@lzervos
Copy link

lzervos commented Apr 1, 2023

Profiles are built in order to distinguish and use different customizations based on the type of project we are working on, at any given moment.

Generally, different extensions are installed to each separate profile. But there is a huge exception to this rule, extensions that are mainly language-agnostic (e.g Source Control, Code Formatter, etc...). This type of extensions are usually necessary in every code development scenario and consequently profile.

So, I believe it's crucial to have the ability of multiple profile selection, to avoid time-wasting by installing the same extension over and over again.

Proposed solution

There are many ways to add this ability. For me the best one, is a dropdown list which will operate similarly to the one below
spring-initializr
Dependency selection during Spring Boot project initialization

P.S I also have other possible solutions in mind, so feel free to contact me 😉

@lzervos lzervos changed the title Install an extension to multiple profiles Feature Request: Install an extension to multiple profiles Apr 1, 2023
@lzervos lzervos changed the title Feature Request: Install an extension to multiple profiles Feature: Install an extension to multiple profiles Apr 1, 2023
@sandy081 sandy081 added the user-profiles User profile management label Apr 4, 2023
@sandy081
Copy link
Member

sandy081 commented Apr 4, 2023

/duplicate

#157492

@vscodenpa vscodenpa added the *duplicate Issue identified as a duplicate of another issue(s) label Apr 4, 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 Apr 4, 2023
@github-actions github-actions bot locked and limited conversation to collaborators May 19, 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) user-profiles User profile management
Projects
None yet
Development

No branches or pull requests

3 participants