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

    Represents the external terminal configuration options.

    interface ExternalTerminalConfiguration {
        "terminal.external.linuxExec": string;
        "terminal.external.osxExec": string;
        "terminal.external.windowsExec": string;
    }
    Index

    Properties

    "terminal.external.linuxExec": string

    The external terminal executable for Linux.

    "terminal.external.osxExec": string

    The external terminal executable for OSX.

    "terminal.external.windowsExec": string

    The external terminal executable for Windows.