Theia API Documentation v1.68.0
    Preparing search index...

    Module common/shell-execution-server

    Namespaces

    ShellExecutionCanceledResult
    ShellExecutionToolResult

    Interfaces

    ShellExecutionCanceledResult
    ShellExecutionRequest
    ShellExecutionResult
    ShellExecutionServer
    ShellExecutionToolResult

    Variables

    GRACE_LINES
    HEAD_LINES
    MAX_LINE_LENGTH
    SHELL_EXECUTION_FUNCTION_ID
    shellExecutionPath
    ShellExecutionServer
    TAIL_LINES

    Functions

    combineAndTruncate
    truncateLine