DELETE /api/ide/terminal/{id}

Part of the API reference; this page is generated from the OpenAPI document that the gateway builds from its own route tables.

Provenance

• Contract version: 1.10.0
• Contract title: acumen gateway API
• Source: acumen:docs/openapi/acumen-v1.openapi.json

Operations

DELETE /api/ide/terminal/{id}

Close a terminal

Stops the PTY and drops the terminal id. Operator (admin) scope.

• Operation id: deleteApiIdeTerminalId
• Scope: admin
• Exposure: operator
• Mutating: no
• Auth: bearerAuth, operatorSession

Responses

• 200: closed
  • application/json: IDEEnvelope: IDEEnvelope (object)
• 404: terminal_not_found
  • application/problem+json: Problem: Problem (object)