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

CLI: Launch VSCode with a specific profile #151301

Closed
viswatejan opened this issue Jun 6, 2022 · 1 comment
Closed

CLI: Launch VSCode with a specific profile #151301

viswatejan opened this issue Jun 6, 2022 · 1 comment
Assignees
@sandy081
Labels
feature-request Request for new features or functionality on-testplan user-profiles User profile management
Milestone
August 2022

Comments

@viswatejan
Copy link

viswatejan commented Jun 6, 2022 •
edited
Loading

Extend Code command to support choosing a profile file so that developers can open a folder in the VSCode also specifying the profile file.

E.g. code <project_folder> --profile my-java.code-profile
@alexr00 alexr00 assigned sandy081 and unassigned alexr00 Jun 7, 2022
@sandy081 sandy081 added feature-request Request for new features or functionality user-profiles User profile management labels Jun 7, 2022
@sandy081 sandy081 added this to the Backlog milestone Jun 7, 2022
@gjsjohnmurray gjsjohnmurray mentioned this issue Jul 4, 2022
Closed
@sandy081 sandy081 modified the milestones: Backlog, July 2022 Jul 4, 2022
@weinand
Copy link
Contributor

weinand commented Jul 4, 2022 •
edited
Loading

For extension debugging it would be helpful to have a command line option to use a clean empty profile that is destroyed after use. With this feature extensions can be easily run and debugged in a clean environment without the need to create the profile and delete it afterwards.

@joaomoreno joaomoreno changed the title Launch VSCode with a specific profile CLI: Launch VSCode with a specific profile Jul 6, 2022
This was referenced Jul 8, 2022
Closed
Closed
This was referenced Jul 23, 2022
Closed
Closed
@sandy081 sandy081 modified the milestones: July 2022, August 2022 Jul 27, 2022
@kieferrm kieferrm mentioned this issue Aug 7, 2022
Closed
@sandy081 sandy081 mentioned this issue Aug 22, 2022
Closed
3 tasks
@github-actions github-actions bot locked and limited conversation to collaborators Oct 7, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@sandy081 sandy081

Labels
feature-request Request for new features or functionality on-testplan user-profiles User profile management
Projects
None yet
Milestone
August 2022
Development

No branches or pull requests
5 participants
@weinand @viswatejan @sandy081 @alexr00 @vscodenpa