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

Adding Group Profiles #191025

Closed
Pedro-Ivo-Neves opened this issue Aug 22, 2023 · 9 comments
Closed

Adding Group Profiles #191025

Pedro-Ivo-Neves opened this issue Aug 22, 2023 · 9 comments
Assignees
Labels
*duplicate Issue identified as a duplicate of another issue(s) info-needed Issue requires more information from poster user-profiles User profile management

Comments

@Pedro-Ivo-Neves
Copy link

Pedro-Ivo-Neves commented Aug 22, 2023

πŸ‘‹πŸΌ Hi, I think it would be useful for a feature like GROUP PROFILES πŸ‘₯ that we can organize the Global Extensions according to the need.
I'm a Full-Stack developer πŸ‘¨πŸ»β€πŸ’», and it would be nice to have my global extensions organized according to the project if I'm working as a Back-end dev or a Front-end dev.
I think it could be useful even for those who have a multiple jobs or are freelancers and have multiple projects with different techs.
They can organize there extensions according to the project.

image

I think you could add:

  1. New section for the groups profile, where we can:
  • Add a Group
  • Edit a Group
  • Delete a Group
  1. New type for Group Extensions but differentiate them from the Global Extensions
    That will enable us to choose exactly what extensions that we want for a specific group and choose extensions that are for all profiles and all groups.
@sandy081
Copy link
Member

I am not sure if I understand your requirement. Can you please explain your use case with an example?

@sandy081 sandy081 added the info-needed Issue requires more information from poster label Aug 23, 2023
@Pedro-Ivo-Neves
Copy link
Author

Hey @sandy081 πŸ‘‹πŸ», sure I can give an example.

All my profiles that are for Mobile Development (e.g. Flutter, Android and Ionic)
I have the ADB extension
image

To be able to connect to my Android without a cable.

But I don't need this extension for my Web Development (e.g. Angular, Svelte) profiles that I don't need to see the screens on my android.

Let alone for my profiles that are for Backend (e.g. ExpressJS, Spring).

So, it would be nice to have GROUP PROFILES. In this case would be to separate my Web Development Profiles Extensions from my Mobile Development Profiles Extensions

@sandy081
Copy link
Member

So you have 2 Profiles

  1. Mobile Development with mobile development profile extensions
  2. Web Development with web development profile extensions

Is not this already solved your problem?

1 similar comment
@sandy081
Copy link
Member

So you have 2 Profiles

  1. Mobile Development with mobile development profile extensions
  2. Web Development with web development profile extensions

Is not this already solved your problem?

@Pedro-Ivo-Neves
Copy link
Author

Pedro-Ivo-Neves commented Aug 25, 2023

Hey πŸ‘‹πŸ»
I don't have only two profiles
For mobile development I have one for flutter, one for Ionic
For web I have one for svelte, one for angular, etc

My Idea was to have sort of a way to specify the extensions for certain profiles and not for others, so that we don't have to go specify for every profile

Something like this:
image

@sandy081
Copy link
Member

You mean to have a group called Backend and and all profiles in the backend group use the extensions defined in the group and in addition each profile has it own custom set of profiles?

@Pedro-Ivo-Neves
Copy link
Author

Yess, exactly

@sandy081 sandy081 added the user-profiles User profile management label Aug 30, 2023
@sandy081
Copy link
Member

/duplicate

Looks like a duplicate of #191224 - Profile inheritance.

@vscodenpa vscodenpa added the *duplicate Issue identified as a duplicate of another issue(s) label Aug 30, 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 Aug 30, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Oct 15, 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) info-needed Issue requires more information from poster user-profiles User profile management
Projects
None yet
Development

No branches or pull requests

3 participants