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

    Interface RemoteSetupOptions

    interface RemoteSetupOptions {
        additionalArgs?: string[];
        connection: RemoteConnection;
        nodeDownloadTemplate?: string;
        report: RemoteStatusReport;
    }
    Index

    Properties

    additionalArgs? connection nodeDownloadTemplate? report

    Properties

    additionalArgs?: string[]

    Additional CLI arguments to append when starting the remote backend, after the arguments contributed by RemoteCliContributions. Used to carry per-window options (e.g. --session-preference) that the shared local backend cannot provide.

    connection: RemoteConnection
    nodeDownloadTemplate?: string
    report: RemoteStatusReport

    Settings

    Member Visibility

    On This Page

    Properties