[PR #2605] Amends user-docs procedure #25010

Closed
opened 2026-01-31 09:06:41 +00:00 by claunia · 0 comments
Owner

Original Pull Request: https://github.com/microsoft/terminal/pull/2605

State: closed
Merged: Yes


Amends docs procedure for Running a Different Shell:

  • Adds an overview sentence.
  • Adds some light rephrasing.
  • Proposes using the countersink arrow to depict the down GUI element.
**Original Pull Request:** https://github.com/microsoft/terminal/pull/2605 **State:** closed **Merged:** Yes --- Amends docs procedure for `Running a Different Shell`: * Adds an overview sentence. * Adds some light rephrasing. * Proposes using the countersink arrow `⌵` to depict the `down` GUI element.
claunia added the pull-request label 2026-01-31 09:06:41 +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#25010