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

    Interface RemoteSSHConnectionProviderOptions

    interface RemoteSSHConnectionProviderOptions {
        customConfigFile?: string;
        host: string;
        nodeDownloadTemplate?: string;
        user: string;
    }
    Index

    Properties

    customConfigFile? host nodeDownloadTemplate? user

    Properties

    customConfigFile?: string
    host: string
    nodeDownloadTemplate?: string
    user: string

    Settings

    Member Visibility

    On This Page

    Properties