fix(#1194): update Execution tool names + frontend + docs

This commit is contained in:
damocles 2026-06-03 21:19:29 +02:00 committed by mara
commit f5351eb59c
6 changed files with 19 additions and 17 deletions

View file

@ -1254,13 +1254,13 @@ window.marked = marked;
case 'mcp__hyperhive__kill': return short + ' ' + (input.name || '');
case 'mcp__hyperhive__request_apply_commit':
return short + ' ' + (input.agent || '') + ' @ ' + (input.commit_ref || '').slice(0, 12);
case 'mcp__bash__bash_run': {
case 'mcp__bash__run': {
// Rich renderer handles the full body; this summary covers any
// fallback path and the details summary line.
const firstLine = String(input.cmd || '').split('\n')[0];
return short + ' $ ' + trim(firstLine.trim(), 72);
}
case 'mcp__bash__bash_status':
case 'mcp__bash__status':
return short + ' id:' + (input.id || '?')
+ (input.wait_seconds != null ? ' · wait ' + input.wait_seconds + 's' : '');
default: return fmtArgsGeneric(short, input);
@ -1354,10 +1354,10 @@ window.marked = marked;
// Bash task runner — show full command in an expandable pre block so
// multi-line scripts are readable. Summary uses the first line so the
// row is identifiable without expanding.
if (name === 'mcp__bash__bash_run') {
if (name === 'mcp__bash__run') {
const cmd = String(input.cmd || '');
const firstLine = cmd.split('\n')[0];
const summary = 'bash_run* $ ' + trim(firstLine.trim(), 72);
const summary = 'run* $ ' + trim(firstLine.trim(), 72);
return api.details('tool-use', summary, '$ ' + cmd);
}
return null;