rename bash tools: bash_run/bash_status → run/status (#1186)

This commit is contained in:
damocles 2026-06-03 21:02:37 +02:00 committed by mara
commit 18e0e8fc2b
3 changed files with 10 additions and 10 deletions

View file

@ -134,7 +134,7 @@ in
default = [ ];
description = ''
Deprecated - has no effect. The built-in Bash tool is fully
disabled regardless of this list; agents use mcp__hyperhive__bash_run
disabled regardless of this list; agents use mcp__bash__run
instead. Remove this option from your agent.nix.
'';
visible = false;
@ -612,7 +612,7 @@ in
config = {
warnings = lib.optional (config.hyperhive.allowedBashPatterns != [ ]) ''
hyperhive.allowedBashPatterns is deprecated and has no effect.
The built-in Bash tool is fully disabled; agents use mcp__hyperhive__bash_run instead.
The built-in Bash tool is fully disabled; agents use mcp__bash__run instead.
Remove allowedBashPatterns from your agent.nix.
'';