Skip to content

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

Closed
#19462
Closed
Expose a way to trigger environment prompts for other extensions#19450
#19462
Assignees
karrtikranthonykim1
Labels
area-formattingarea-lintingfeature-requestRequest for new features or functionalityneeds PRReady to be worked on
Milestone
July 2022

Description

@karrtikr
Kartik Raj (karrtikr)
opened on Jul 11, 2022

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/ Karthik Nadig (@karthiknadig)

Activity

  1. ImageKartik Raj (karrtikr)
    added
    feature-requestRequest for new features or functionality
    area-linting
    needs PR
    area-formatting
    on Jul 11, 2022
  2. ImageKartik Raj (karrtikr)
    self-assigned this
    on Jul 11, 2022
  3. ImageKartik Raj (karrtikr)
    added this to the July 2022 milestone on Jul 13, 2022
  4. ImageKartik Raj (karrtikr)
    closed this as completedin #19462on Jul 13, 2022

  5. karrtikr commented on Jul 13, 2022

    @karrtikr
    Kartik Raj (karrtikr)
    on Jul 13, 2022
    Author

    Command to execute: python.triggerEnvSelection

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

  6. ImageKartik Raj (karrtikr)
    added
    on-testplanAdded to test plan
    on Jul 26, 2022
  7. ImageKartik Raj (karrtikr)
    assigned
    Anthony Kim (anthonykim1)
    on Aug 9, 2022
  8. ImageKartik Raj (karrtikr)
    removed
    needs PR
    on-testplanAdded to test plan
    on Aug 9, 2022
  9. ImageKartik Raj (karrtikr)
    reopened this on Aug 9, 2022
  10. Imagegithub-actions
    added
    triage-neededNeeds assignment to the proper sub-team
    on Aug 9, 2022
  11. Imagegithub-actions
    unassigned
    Anthony Kim (anthonykim1)
    on Aug 9, 2022
  12. ImageKartik Raj (karrtikr)
    added
    needs PR
    on-testplanAdded to test plan
    and removed
    triage-neededNeeds assignment to the proper sub-team
    on-testplanAdded to test plan
    on Aug 9, 2022
  13. ImageKartik Raj (karrtikr)
    assigned
    Anthony Kim (anthonykim1)
    on Aug 9, 2022
  14. ImageKartik Raj (karrtikr)
    closed this as completedon Aug 9, 2022
  15. ImageKartik Raj (karrtikr)
    reopened this on Aug 9, 2022
  16. Imagegithub-actions
    removed
    needs PR
    on Aug 9, 2022
  17. ImageKartik Raj (karrtikr)
    added
    needs PRReady to be worked on
    on Aug 9, 2022
  18. ImageKartik Raj (karrtikr)
    closed this as completedon Nov 3, 2022
  19. Imagegithub-actions
    locked as resolved and limited conversation to collaborators on Dec 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

area-formattingarea-lintingfeature-requestRequest for new features or functionalityneeds PRReady to be worked on

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions