Theia API Documentation v1.65.0
    Preparing search index...
    interface ShellExecutionOptions {
        cwd?: string;
        env?: { [key: string]: string };
        executable?: string;
        shellArgs?: string[];
        shellQuoting?: ShellQuotingOptions;
    }
    Index

    Properties

    cwd?: string

    The current working directory of the executed shell. If omitted the tools current workspace root is used.

    env?: { [key: string]: string }

    The additional environment of the executed shell. If omitted the parent process' environment is used. If provided it is merged with the parent process' environment.

    executable?: string

    The shell executable

    shellArgs?: string[]

    The arguments to be passed to the shell executable used to run the task. Most shells require special arguments to execute a command. For example bash requires the -c argument to execute a command, PowerShell requires -Command and cmd requires both /d and /c.

    shellQuoting?: ShellQuotingOptions

    The shell quotes supported by this shell