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

    Interface PluginDeployOptions

    interface PluginDeployOptions {
        ignoreOtherVersions?: boolean;
        version: string;
    }
    Index

    Properties

    ignoreOtherVersions? version

    Properties

    ignoreOtherVersions?: boolean

    Instructs the deployer to ignore any existing plugins with different versions

    version: string

    Settings

    Member Visibility

    On This Page

    Properties