Skip to content

Conversation

anthonykim1
Copy link
Contributor

@anthonykim1 anthonykim1 commented Mar 11, 2025

Fixes #230165

From API sync, we decided to move on with few changes:

  1. Naming discussion shellType -> shellKind -> shell since shell was already being used elsewhere.
  2. Switched type of shell to string, so now we have much less maintenance duty (no need to keep long list), and this is much easier to use.

I wanted to make sure we updated all of the code related to terminal suggest that uses this api.
TODO: Update Python environment extension when this shell API gets finalized and merged.

End goal of this PR is to remove src/vscode-dts/vscode.proposed.terminalShellType.d.ts and request for finalization hereby, against vscode.d.t.s

@anthonykim1 anthonykim1 added this to the March 2025 milestone Mar 11, 2025
@anthonykim1 anthonykim1 self-assigned this Mar 11, 2025
@anthonykim1 anthonykim1 changed the title Adopt terminal suggest to shell api change Make sure terminal suggest adopt to shell api change Mar 11, 2025
meganrogge
meganrogge previously approved these changes Mar 11, 2025
@anthonykim1 anthonykim1 changed the title Make sure terminal suggest adopt to shell api change Finalize Shell API Mar 12, 2025
@anthonykim1 anthonykim1 requested a review from Tyriar March 12, 2025 22:36
@anthonykim1 anthonykim1 marked this pull request as ready for review March 13, 2025 16:57
Copy link
Collaborator

@mjbvz mjbvz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Typings change looks good. Just had a few commends on the docs

@anthonykim1 anthonykim1 marked this pull request as draft March 13, 2025 19:57
@anthonykim1 anthonykim1 marked this pull request as ready for review March 13, 2025 20:41
@anthonykim1 anthonykim1 requested a review from mjbvz March 13, 2025 20:41
@anthonykim1 anthonykim1 marked this pull request as draft March 13, 2025 20:46
@anthonykim1 anthonykim1 marked this pull request as ready for review March 13, 2025 21:39
@anthonykim1 anthonykim1 marked this pull request as draft March 13, 2025 21:44
@anthonykim1 anthonykim1 marked this pull request as ready for review March 13, 2025 21:45
Tyriar
Tyriar previously approved these changes Mar 14, 2025
mjbvz
mjbvz previously approved these changes Mar 14, 2025
@anthonykim1 anthonykim1 dismissed stale reviews from mjbvz and Tyriar via aee0f3c March 15, 2025 03:23
@anthonykim1 anthonykim1 enabled auto-merge (squash) March 15, 2025 03:23
@anthonykim1 anthonykim1 requested a review from mjbvz March 15, 2025 21:09
@anthonykim1 anthonykim1 merged commit bf36be9 into main Mar 15, 2025
8 checks passed
@anthonykim1 anthonykim1 deleted the anthonykim1/shellTypeFinal branch March 15, 2025 22:28
@vs-code-engineering vs-code-engineering bot locked and limited conversation to collaborators Apr 29, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

API to access the shell type for a given terminal
4 participants