Interface Terminal

A provisioned interactive terminal on an editor session, bound to the microVM that hosts it.

interface Terminal {
    editorSessionId: string;
    owner: string;
    terminalId: string;
    vmId: string;
}

Properties

editorSessionId: string

The editor session this terminal belongs to.

owner: string

The user who created (and owns) this terminal.

terminalId: string

The server-minted id of this terminal.

vmId: string

The microVM now hosting this terminal.