Interface TerminalServiceExt

interface TerminalServiceExt {
    $currentTerminalChanged(id: undefined | string): void;
    $handleTerminalLink(link: ProvidedTerminalLink): Promise<void>;
    $initEnvironmentVariableCollections(
        collections: [
            string,
            string,
            boolean,
            SerializableEnvironmentVariableCollection,
        ][],
    ): void;
    $provideTerminalLinks(
        line: string,
        terminalId: string,
        token: CancellationToken,
    ): Promise<ProvidedTerminalLink[]>;
    $reportOutputMatch(observerId: string, groups: string[]): void;
    $setShell(shell: string): void;
    $startProfile(
        providerId: string,
        cancellationToken: CancellationToken,
    ): Promise<string>;
    $terminalClosed(
        id: string,
        exitStatus: undefined | TerminalExitStatus,
    ): void;
    $terminalCreated(id: string, name: string): void;
    $terminalNameChanged(id: string, name: string): void;
    $terminalOnInput(id: string, data: string): void;
    $terminalOnInteraction(id: string): void;
    $terminalOpened(
        id: string,
        processId: number,
        terminalId: number,
        cols: number,
        rows: number,
    ): void;
    $terminalShellTypeChanged(id: string, newShellType: string): void;
    $terminalSizeChanged(id: string, cols: number, rows: number): void;
    getEnvironmentVariableCollection(
        extensionIdentifier: string,
    ): GlobalEnvironmentVariableCollection;
}