feat(#1653): optional name param for bash run tool

This commit is contained in:
damocles 2026-06-13 16:08:31 +02:00 committed by mara
commit 9bd51a7440
5 changed files with 119 additions and 8 deletions

View file

@ -9,7 +9,7 @@ invocation regardless of tool groups.
## Tools
### `run(cmd, timeout_secs?, wait_seconds?)`
### `run(cmd, timeout_secs?, wait_seconds?, name?)`
Submit a shell command for background execution (`sh -c <cmd>`).
Stdout and stderr stream to `harness/bash-tasks/<id>.{out,err}`.
@ -25,6 +25,14 @@ harness fires a wake with `from: "bash-task-<id>"` and the exit code
the task keeps running and the normal `task started: id=<id>`
response is returned. **Defaults to 3** — pass `wait_seconds: 0`
to disable inline waiting and always get the immediate response.
- `name` — optional caller-chosen task id. When set it replaces the
auto-generated hex id, so it surfaces in the wake `from`
(`bash-task-<name>`), in `status(<name>)` lookups, and in the
loose-ends list — a memorable label instead of an opaque id. A name
is **reusable once its previous task has finished**; submitting a
name whose task is still `pending`/`running` is rejected. Allowed
characters: ASCII letters, digits, `.`, `_`, `-` (max 64). Omit for
the auto-generated id.
Exposed as `mcp__bash__run`.