Theia API Documentation v1.72.1
    Preparing search index...
    interface ShellExecutionRequest {
        command: string;
        cwd?: string;
        executionId?: string;
        timeout?: number;
    }
    Index

    Properties

    command: string
    cwd?: string

    Working directory. Resolved to an absolute path on the frontend before sending to the backend.

    executionId?: string

    Unique ID for this execution, used for cancellation

    timeout?: number