terminal_close
Terminate an active terminal session and end all running processes within it. Optionally save command history for future restoration.
Instructions
Close terminal session
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| terminal_id | Yes | Unique terminal ID from terminal_create or terminal_list. All processes in this terminal will be terminated. | |
| save_history | No | Whether to save the command history before closing. History can be restored when creating future terminals. |