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

Expose a way to trigger environment prompts for other extensions #19450

Closed
karrtikr opened this issue Jul 11, 2022 · 1 comment · Fixed by #19462
Closed

Expose a way to trigger environment prompts for other extensions #19450

karrtikr opened this issue Jul 11, 2022 · 1 comment · Fixed by #19462
Assignees
Labels
area-formatting area-linting feature-request Request for new features or functionality needs PR Ready to be worked on
Milestone

Comments

@karrtikr
Copy link

Expose a command which triggers #19396. Can be used for:

  • Restarting the tools server, say Black: Restart Server.
  • Other manual triggers, for eg. when running a formatter manually.

cc/ @karthiknadig

@karrtikr
Copy link
Author

karrtikr commented Jul 13, 2022

Command to execute: python.triggerEnvSelection

If an invalid interpreter is selected:
image
If no Python is available to select:
image

@karrtikr karrtikr added the on-testplan Added to test plan label Jul 26, 2022
@karrtikr karrtikr removed needs PR on-testplan Added to test plan labels Aug 9, 2022
@karrtikr karrtikr reopened this Aug 9, 2022
@github-actions github-actions bot added the triage-needed Needs assignment to the proper sub-team label Aug 9, 2022
@karrtikr karrtikr added needs PR on-testplan Added to test plan and removed triage-needed Needs assignment to the proper sub-team on-testplan Added to test plan labels Aug 9, 2022
@karrtikr karrtikr closed this as completed Aug 9, 2022
@karrtikr karrtikr reopened this Aug 9, 2022
@github-actions github-actions bot removed the needs PR label Aug 9, 2022
@karrtikr karrtikr added the needs PR Ready to be worked on label Aug 9, 2022
@karrtikr karrtikr closed this as completed Nov 3, 2022
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 4, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
area-formatting area-linting feature-request Request for new features or functionality needs PR Ready to be worked on
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants