[PR #2998] [MERGED] Edits doc section: Starting Windows Terminal #25189

Open
opened 2026-01-31 09:07:51 +00:00 by claunia · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/microsoft/terminal/pull/2998
Author: @martin389
Created: 9/30/2019
Status: ✅ Merged
Merged: 10/4/2019
Merged by: @DHowett-MSFT

Base: master ← Head: patch-5


📝 Commits (3)

  • d8017c5 Edits doc section: Starting Windows Terminal
  • f8ff7f3 Update index.md
  • 291fd07 Added tip about shortcut for elevated app

📊 Changes

1 file changed (+3 additions, -5 deletions)

View changed files

📝 doc/user-docs/index.md (+3 -5)

📄 Description

  • Proposes using the search function to locate the app.
  • Restructures as a procedure.
  • Adds misc edits.

🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.

## 📋 Pull Request Information **Original PR:** https://github.com/microsoft/terminal/pull/2998 **Author:** [@martin389](https://github.com/martin389) **Created:** 9/30/2019 **Status:** ✅ Merged **Merged:** 10/4/2019 **Merged by:** [@DHowett-MSFT](https://github.com/DHowett-MSFT) **Base:** `master` ← **Head:** `patch-5` --- ### 📝 Commits (3) - [`d8017c5`](https://github.com/microsoft/terminal/commit/d8017c5d9f3c42f96326529fefa617ad2bf1a95d) Edits doc section: Starting Windows Terminal - [`f8ff7f3`](https://github.com/microsoft/terminal/commit/f8ff7f30445dd7f329fcf152a740327c2c92bedd) Update index.md - [`291fd07`](https://github.com/microsoft/terminal/commit/291fd078547bfa8ff3c9c0d4f5c4383f3406f3b7) Added tip about shortcut for elevated app ### 📊 Changes **1 file changed** (+3 additions, -5 deletions) <details> <summary>View changed files</summary> 📝 `doc/user-docs/index.md` (+3 -5) </details> ### 📄 Description * Proposes using the search function to locate the app. * Restructures as a procedure. * Adds misc edits. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
claunia added the pull-request label 2026-01-31 09:07:51 +00:00
Sign in to join this conversation.
No Label pull-request
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#25189