fix(shell): explicitly set PAGER=cat when rcFile is not used

2026-07-22 15:51:18 -07:00 · 2026-04-20 11:50:24 -07:00
parent dc82a395ac
commit 66abea7a0e
3 changed files with 13 additions and 0 deletions
@@ -2509,6 +2509,12 @@
              "markdownDescription": "Enable shell output efficiency optimizations for better performance.\n\n- Category: `Tools`\n- Requires restart: `no`\n- Default: `true`",
              "default": true,
              "type": "boolean"
+            },
+            "rcFile": {
+              "title": "Shell Tool RC File",
+              "description": "The path to a bash file (e.g., .bashrc) to source before executing shell commands.",
+              "markdownDescription": "The path to a bash file (e.g., .bashrc) to source before executing shell commands.\n\n- Category: `Tools`\n- Requires restart: `no`",
+              "type": "string"
            }
          },
          "additionalProperties": false