Theia API Documentation v1.70.0
    Preparing search index...
    interface IShellTerminalServerOptions {
        args?: string | string[];
        cols?: number;
        enableShellIntegration?: boolean;
        env?: { [key: string]: null | string };
        isPseudo?: boolean;
        rootURI?: string;
        rows?: number;
        shell?: string;
        strictEnv?: boolean;
    }

    Hierarchy (View Summary)

    Index

    Properties

    args?: string | string[]
    cols?: number
    enableShellIntegration?: boolean

    Whether to inject shell integration scripts for command tracking. When enabled, shell integration scripts are injected to emit OSC 133 sequences.

    false
    
    env?: { [key: string]: null | string }
    isPseudo?: boolean
    rootURI?: string
    rows?: number
    shell?: string
    strictEnv?: boolean