microsoft / microsoft/terminal

Feature Request: Ability to change what key/key sequence reopens or closes a profile session

Open
#16,581 4 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

Area-TerminalControl Help Wanted Issue-Feature Product-Terminal
Dominant language
C++
Stars
105k
Forks
9.6k
Avg merge
3d 17h
Merged PRs (30d)
29

Description

Description of the new feature/enhancement

This feature request is related to this feature request:

https://github.com/microsoft/terminal/issues/4379

Essentially, the ability to customize what key/key sequences reopens or closes a profile session. Currently Ctrl+D will close the terminal after exit and "Enter" will restart it. I would like to customize it so that "r" will restart the session and "" or "" will close the session for good. This is what MobaXterm uses and it would be nice to have it consistent as I use both regularly.

Proposed technical implementation details (optional)

Something like this in the json file:

"closeOnExit": "never",
{
"closeKey": "",
"reopenKey": "r"
}

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by reading the related feature request in issue #4379 and reviewing how the proposed closeOnExit setting is represented in the JSON configuration. Determine where profile-session close and reopen key handling is defined. Done means users can configure distinct close and reopen keys, including and a character such as r, with the behavior matching the request.

Written by the indexing model from the issue text.

Assessment

Tech stack
cpp
Domain
cli
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.