Harthelm Docs
REST APIWorkspaces

Mint an IDE entry URL

Returns the URL the shell sets as the code-server iframe `src`: the IDE host's `/__harthelm/enter?t=<token>` with a single-use token (60 s, audience = IDE host). Needs `workspace.code`. The router turns the token into the workspace cookie.

Generated from openapi/harthelm.yaml at v1.5.0
POST
/workspaces/{ws}/ide-entry

Authorization

cookie__Host-harthelm_session<token>

Browser session of the UI (12 h idle, 7 days absolute). State-changing requests also need the header Harthelm-CSRF: 1 and a matching Origin.

Path Parameters

ws*integer

Numeric resource id.

Formatint64
Range1 <= value

Response Body

The entry URL.

application/json
  1. response
url*string

The IDE host's /__harthelm/enter?t=<token> as an absolute HTTPS URL, valid once.

expires_at*string
Formatdate-time
curl -X POST 'https://console.example.com/api/v1/workspaces/1/ide-entry'
{  "url": "string",  "expires_at": "2019-08-24T14:15:22Z"}