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

Doc: add Developer Command Prompt for VS profile #5142

Merged
merged 1 commit into from
Mar 27, 2020
Merged

Doc: add Developer Command Prompt for VS profile #5142

merged 1 commit into from
Mar 27, 2020

Conversation

skyline75489
Copy link
Collaborator

Summary of the Pull Request

Added Developer Command Prompt for VS profile in ThirdPartyToolProfiles.

References

PR Checklist

  • Closes #xxx
  • CLA signed. If not, go over here and sign the CLA
  • Tests added/passed
  • Requires documentation to be updated
  • I've discussed this with core contributors already. If not checked, I'm ready to accept this work might be rejected in favor of a different grand plan. Issue number where discussion took place: #xxx

Detailed Description of the Pull Request / Additional comments

Well it's not really "third party". Anyway, it works on my laptop. The only missing part is a icon.

Validation Steps Performed

@skyline75489
Copy link
Collaborator Author

With this profile, we can also have C# interactive shell and F# interactive shell mentioned in #2283. Simply use csi or fsi to get the interactive shell.

@skyline75489 skyline75489 mentioned this pull request Mar 27, 2020
Closed
2 tasks
@zadjii-msft zadjii-msft added the Product-Terminal The new Windows Terminal. label Mar 27, 2020
@zadjii-msft zadjii-msft added Area-Settings Issues related to settings and customizability, for console or terminal Issue-Docs It's a documentation issue that really should be on MicrosoftDocs/Console-Docs Needs-Second It's a PR that needs another sign-off labels Mar 27, 2020
@carlos-zamora carlos-zamora changed the title doc: add Developer Command Prompt for VS profile Doc: add Developer Command Prompt for VS profile Mar 27, 2020
@carlos-zamora carlos-zamora merged commit 5e9adad into microsoft:master Mar 27, 2020
@skyline75489 skyline75489 deleted the patch-2 branch January 25, 2021 02:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@carlos-zamora carlos-zamora carlos-zamora approved these changes

@zadjii-msft zadjii-msft zadjii-msft approved these changes

@miniksa miniksa Awaiting requested review from miniksa

@DHowett-MSFT DHowett-MSFT Awaiting requested review from DHowett-MSFT

@leonMSFT leonMSFT Awaiting requested review from leonMSFT

Assignees
No one assigned
Labels
Area-Settings Issues related to settings and customizability, for console or terminal Issue-Docs It's a documentation issue that really should be on MicrosoftDocs/Console-Docs Needs-Second It's a PR that needs another sign-off Product-Terminal The new Windows Terminal.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@skyline75489 @carlos-zamora @zadjii-msft