Persistent shell support

This commit is contained in:
jacob314
2026-03-06 13:31:54 -08:00
parent 3d4956aa57
commit 39d1a1bf2f
19 changed files with 1119 additions and 47 deletions

View File

@@ -768,6 +768,12 @@ their corresponding top-level category object in your `settings.json` file.
- **Default:** `true`
- **Requires restart:** Yes
- **`tools.shell.enablePersistentShell`** (boolean):
- **Description:** Maintain a persistent shell session across commands to
preserve environment variables, directory changes, and aliases.
- **Default:** `true`
- **Requires restart:** Yes
- **`tools.shell.pager`** (string):
- **Description:** The pager command to use for shell output. Defaults to
`cat`.