Theia API Documentation v1.65.0
    Preparing search index...
    Index

    Constructors

    Properties

    args: undefined | (string | ShellQuotedString)[]

    The shell args. Is undefined if created with a full command line.

    command: undefined | string | ShellQuotedString

    The shell command. Is undefined if created with a full command line.

    commandLine: undefined | string

    The shell command line. Is undefined if created with a command and arguments.

    The shell options used when the command line is executed in a shell. Defaults to undefined.