Destroy terminal session
terminal_destroyPermanently terminate a terminal session and forget its session ID, so future calls fail instead of auto-respawning. Use when explicitly done with that session.
Instructions
Kill a session and forget the sessionId entirely. The shell process is terminated and the sessionId is not tombstoned — future calls against it will error with "Unknown sessionId". Use this when you're explicitly done with a session. Tombstones (which auto-respawn on next access) only happen for system-driven terminations: idle-kill, eviction, or shell exit.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| sessionId | Yes | Numeric id from terminal_create or terminal_list. |