@theia/plugin-ext 1.34.3 → 1.34.4

package/src/plugin/terminal-ext.ts

@@ -1,494 +1,494 @@
-// *****************************************************************************
-// Copyright (C) 2018 Red Hat, Inc. and others.
-//
-// This program and the accompanying materials are made available under the
-// terms of the Eclipse Public License v. 2.0 which is available at
-// http://www.eclipse.org/legal/epl-2.0.
-//
-// This Source Code may also be made available under the following Secondary
-// Licenses when the conditions for such availability set forth in the Eclipse
-// Public License v. 2.0 are satisfied: GNU General Public License, version 2
-// with the GNU Classpath Exception which is available at
-// https://www.gnu.org/software/classpath/license.html.
-//
-// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
-// *****************************************************************************
-import { UUID } from '@theia/core/shared/@phosphor/coreutils';
-import { Terminal, TerminalOptions, PseudoTerminalOptions, ExtensionTerminalOptions, TerminalState } from '@theia/plugin';
-import { TerminalServiceExt, TerminalServiceMain, PLUGIN_RPC_CONTEXT } from '../common/plugin-api-rpc';
-import { RPCProtocol } from '../common/rpc-protocol';
-import { Event, Emitter } from '@theia/core/lib/common/event';
-import { Deferred } from '@theia/core/lib/common/promise-util';
-import * as theia from '@theia/plugin';
-import { Disposable, EnvironmentVariableMutatorType, ThemeIcon } from './types-impl';
-import { SerializableEnvironmentVariableCollection } from '@theia/terminal/lib/common/base-terminal-protocol';
-import { ProvidedTerminalLink } from '../common/plugin-api-rpc-model';
-import { ThemeIcon as MonacoThemeIcon } from '@theia/monaco-editor-core/esm/vs/platform/theme/common/themeService';
-
-export function getIconUris(iconPath: theia.TerminalOptions['iconPath']): { id: string } | undefined {
-    if (ThemeIcon.is(iconPath)) {
-        return { id: iconPath.id };
-    }
-    return undefined;
-}
-
-export function getIconClass(options: theia.TerminalOptions | theia.ExtensionTerminalOptions): string | undefined {
-    const iconClass = getIconUris(options.iconPath);
-    if (iconClass) {
-        return MonacoThemeIcon.asClassName(iconClass);
-    }
-    return undefined;
-}
-
-/**
- * Provides high level terminal plugin api to use in the Theia plugins.
- * This service allow(with help proxy) create and use terminal emulator.
- */
-export class TerminalServiceExtImpl implements TerminalServiceExt {
-
-    private readonly proxy: TerminalServiceMain;
-
-    private readonly _terminals = new Map<string, TerminalExtImpl>();
-
-    private readonly _pseudoTerminals = new Map<string, PseudoTerminal>();
-
-    private static nextProviderId = 0;
-    private readonly terminalLinkProviders = new Map<string, theia.TerminalLinkProvider>();
-    private readonly terminalProfileProviders = new Map<string, theia.TerminalProfileProvider>();
-    private readonly onDidCloseTerminalEmitter = new Emitter<Terminal>();
-    readonly onDidCloseTerminal: theia.Event<Terminal> = this.onDidCloseTerminalEmitter.event;
-
-    private readonly onDidOpenTerminalEmitter = new Emitter<Terminal>();
-    readonly onDidOpenTerminal: theia.Event<Terminal> = this.onDidOpenTerminalEmitter.event;
-
-    private readonly onDidChangeActiveTerminalEmitter = new Emitter<Terminal | undefined>();
-    readonly onDidChangeActiveTerminal: theia.Event<Terminal | undefined> = this.onDidChangeActiveTerminalEmitter.event;
-
-    private readonly onDidChangeTerminalStateEmitter = new Emitter<Terminal>();
-    readonly onDidChangeTerminalState: theia.Event<Terminal> = this.onDidChangeTerminalStateEmitter.event;
-
-    protected environmentVariableCollections: Map<string, EnvironmentVariableCollection> = new Map();
-
-    constructor(rpc: RPCProtocol) {
-        this.proxy = rpc.getProxy(PLUGIN_RPC_CONTEXT.TERMINAL_MAIN);
-    }
-
-    get terminals(): TerminalExtImpl[] {
-        return [...this._terminals.values()];
-    }
-
-    createTerminal(
-        nameOrOptions: TerminalOptions | PseudoTerminalOptions | ExtensionTerminalOptions | (string | undefined),
-        shellPath?: string, shellArgs?: string[] | string
-    ): Terminal {
-        const id = `plugin-terminal-${UUID.uuid4()}`;
-        let options: TerminalOptions;
-        let pseudoTerminal: theia.Pseudoterminal | undefined = undefined;
-        if (typeof nameOrOptions === 'object') {
-            if ('pty' in nameOrOptions) {
-                pseudoTerminal = nameOrOptions.pty;
-                options = {
-                    name: nameOrOptions.name,
-                };
-                this._pseudoTerminals.set(id, new PseudoTerminal(id, this.proxy, pseudoTerminal));
-            } else {
-                options = nameOrOptions;
-            }
-        } else {
-            options = {
-                name: nameOrOptions,
-                shellPath: shellPath,
-                shellArgs: shellArgs
-            };
-        }
-
-        let parentId;
-
-        if (options.location && typeof options.location === 'object' && 'parentTerminal' in options.location) {
-            const parentTerminal = options.location.parentTerminal;
-            if (parentTerminal instanceof TerminalExtImpl) {
-                for (const [k, v] of this._terminals) {
-                    if (v === parentTerminal) {
-                        parentId = k;
-                        break;
-                    }
-                }
-            }
-        }
-
-        this.proxy.$createTerminal(id, options, parentId, !!pseudoTerminal);
-
-        let creationOptions: theia.TerminalOptions | theia.ExtensionTerminalOptions = options;
-        // make sure to pass ExtensionTerminalOptions as creation options
-        if (typeof nameOrOptions === 'object' && 'pty' in nameOrOptions) {
-            creationOptions = nameOrOptions;
-        }
-        return this.obtainTerminal(id, options.name || 'Terminal', creationOptions);
-    }
-
-    attachPtyToTerminal(terminalId: number, pty: theia.Pseudoterminal): void {
-        this._pseudoTerminals.set(terminalId.toString(), new PseudoTerminal(terminalId, this.proxy, pty, true));
-    }
-
-    protected obtainTerminal(id: string, name: string, options?: theia.TerminalOptions | theia.ExtensionTerminalOptions): TerminalExtImpl {
-        let terminal = this._terminals.get(id);
-        if (!terminal) {
-            terminal = new TerminalExtImpl(this.proxy, options ?? {});
-            this._terminals.set(id, terminal);
-        }
-        terminal.name = name;
-        return terminal;
-    }
-
-    $terminalOnInput(id: string, data: string): void {
-        const terminal = this._pseudoTerminals.get(id);
-        if (!terminal) {
-            return;
-        }
-        terminal.emitOnInput(data);
-    }
-
-    $terminalStateChanged(id: string): void {
-        const terminal = this._terminals.get(id);
-        if (!terminal) {
-            return;
-        }
-        if (!terminal.state.isInteractedWith) {
-            terminal.state = { isInteractedWith: true };
-            this.onDidChangeTerminalStateEmitter.fire(terminal);
-        }
-    }
-
-    $terminalSizeChanged(id: string, clos: number, rows: number): void {
-        const terminal = this._pseudoTerminals.get(id);
-        if (!terminal) {
-            return;
-        }
-        terminal.emitOnResize(clos, rows);
-    }
-
-    $terminalCreated(id: string, name: string): void {
-        const terminal = this.obtainTerminal(id, name);
-        terminal.id.resolve(id);
-        this.onDidOpenTerminalEmitter.fire(terminal);
-    }
-
-    $terminalNameChanged(id: string, name: string): void {
-        const terminal = this._terminals.get(id);
-        if (terminal) {
-            terminal.name = name;
-        }
-    }
-
-    $terminalOpened(id: string, processId: number, terminalId: number, cols: number, rows: number): void {
-        const terminal = this._terminals.get(id);
-        if (terminal) {
-            // resolve for existing clients
-            terminal.deferredProcessId.resolve(processId);
-            // install new if terminal is reconnected
-            terminal.deferredProcessId = new Deferred<number>();
-            terminal.deferredProcessId.resolve(processId);
-        }
-        const pseudoTerminal = this._pseudoTerminals.get(terminalId.toString());
-        if (pseudoTerminal) {
-            pseudoTerminal.emitOnOpen(cols, rows);
-        }
-    }
-
-    $terminalClosed(id: string, exitStatus: theia.TerminalExitStatus | undefined): void {
-        const terminal = this._terminals.get(id);
-        if (terminal) {
-            terminal.exitStatus = exitStatus ?? { code: undefined };
-            this.onDidCloseTerminalEmitter.fire(terminal);
-            this._terminals.delete(id);
-        }
-        const pseudoTerminal = this._pseudoTerminals.get(id);
-        if (pseudoTerminal) {
-            pseudoTerminal.emitOnClose();
-            this._pseudoTerminals.delete(id);
-        }
-    }
-
-    private activeTerminalId: string | undefined;
-    get activeTerminal(): TerminalExtImpl | undefined {
-        return this.activeTerminalId && this._terminals.get(this.activeTerminalId) || undefined;
-    }
-    $currentTerminalChanged(id: string | undefined): void {
-        this.activeTerminalId = id;
-        this.onDidChangeActiveTerminalEmitter.fire(this.activeTerminal);
-    }
-
-    registerTerminalLinkProvider(provider: theia.TerminalLinkProvider): theia.Disposable {
-        const providerId = (TerminalServiceExtImpl.nextProviderId++).toString();
-        this.terminalLinkProviders.set(providerId, provider);
-        this.proxy.$registerTerminalLinkProvider(providerId);
-        return Disposable.create(() => {
-            this.proxy.$unregisterTerminalLinkProvider(providerId);
-            this.terminalLinkProviders.delete(providerId);
-        });
-    }
-
-    registerTerminalProfileProvider(id: string, provider: theia.TerminalProfileProvider): theia.Disposable {
-        this.terminalProfileProviders.set(id, provider);
-        return Disposable.create(() => {
-            this.terminalProfileProviders.delete(id);
-        });
-    }
-
-    protected isExtensionTerminalOptions(options: theia.TerminalOptions | theia.ExtensionTerminalOptions): options is theia.ExtensionTerminalOptions {
-        return 'pty' in options;
-    }
-
-    async $startProfile(profileId: string, cancellationToken: theia.CancellationToken): Promise<string> {
-        const provider = this.terminalProfileProviders.get(profileId);
-        if (!provider) {
-            throw new Error(`No terminal profile provider with id '${profileId}'`);
-        }
-        const profile = await provider.provideTerminalProfile(cancellationToken);
-        if (!profile) {
-            throw new Error(`Profile with id ${profileId} could not be created`);
-        }
-        const id = `plugin-terminal-${UUID.uuid4()}`;
-        const options = profile.options;
-        if (this.isExtensionTerminalOptions(options)) {
-            this._pseudoTerminals.set(id, new PseudoTerminal(id, this.proxy, options.pty));
-            return this.proxy.$createTerminal(id, { name: options.name }, undefined, true);
-        } else {
-            return this.proxy.$createTerminal(id, profile.options);
-        }
-    }
-
-    async $provideTerminalLinks(line: string, terminalId: string, token: theia.CancellationToken): Promise<ProvidedTerminalLink[]> {
-        const links: ProvidedTerminalLink[] = [];
-        const terminal = this._terminals.get(terminalId);
-        if (terminal) {
-            for (const [providerId, provider] of this.terminalLinkProviders) {
-                const providedLinks = await provider.provideTerminalLinks({ line, terminal }, token);
-                if (providedLinks) {
-                    links.push(...providedLinks.map(link => ({ ...link, providerId })));
-                }
-            }
-        }
-        return links;
-    }
-
-    async $handleTerminalLink(link: ProvidedTerminalLink): Promise<void> {
-        const provider = this.terminalLinkProviders.get(link.providerId);
-        if (!provider) {
-            throw Error('Terminal link provider not found');
-        }
-        await provider.handleTerminalLink(link);
-    }
-
-    /*---------------------------------------------------------------------------------------------
-     *  Copyright (c) Microsoft Corporation. All rights reserved.
-     *  Licensed under the MIT License. See License.txt in the project root for license information.
-     *--------------------------------------------------------------------------------------------*/
-    // some code copied and modified from https://github.com/microsoft/vscode/blob/1.49.0/src/vs/workbench/api/common/extHostTerminalService.ts
-
-    getEnvironmentVariableCollection(extensionIdentifier: string): theia.EnvironmentVariableCollection {
-        let collection = this.environmentVariableCollections.get(extensionIdentifier);
-        if (!collection) {
-            collection = new EnvironmentVariableCollection();
-            this.setEnvironmentVariableCollection(extensionIdentifier, collection);
-        }
-        return collection;
-    }
-
-    private syncEnvironmentVariableCollection(extensionIdentifier: string, collection: EnvironmentVariableCollection): void {
-        const serialized = [...collection.map.entries()];
-        this.proxy.$setEnvironmentVariableCollection(extensionIdentifier, collection.persistent, serialized.length === 0 ? undefined : serialized);
-    }
-
-    private setEnvironmentVariableCollection(extensionIdentifier: string, collection: EnvironmentVariableCollection): void {
-        this.environmentVariableCollections.set(extensionIdentifier, collection);
-        collection.onDidChangeCollection(() => {
-            // When any collection value changes send this immediately, this is done to ensure
-            // following calls to createTerminal will be created with the new environment. It will
-            // result in more noise by sending multiple updates when called but collections are
-            // expected to be small.
-            this.syncEnvironmentVariableCollection(extensionIdentifier, collection);
-        });
-    }
-
-    $initEnvironmentVariableCollections(collections: [string, SerializableEnvironmentVariableCollection][]): void {
-        collections.forEach(entry => {
-            const extensionIdentifier = entry[0];
-            const collection = new EnvironmentVariableCollection(entry[1]);
-            this.setEnvironmentVariableCollection(extensionIdentifier, collection);
-        });
-    }
-
-}
-
-export class EnvironmentVariableCollection implements theia.EnvironmentVariableCollection {
-    readonly map: Map<string, theia.EnvironmentVariableMutator> = new Map();
-    private _persistent: boolean = true;
-
-    public get persistent(): boolean { return this._persistent; }
-    public set persistent(value: boolean) {
-        this._persistent = value;
-        this.onDidChangeCollectionEmitter.fire();
-    }
-
-    protected readonly onDidChangeCollectionEmitter: Emitter<void> = new Emitter<void>();
-    onDidChangeCollection: Event<void> = this.onDidChangeCollectionEmitter.event;
-
-    constructor(
-        serialized?: SerializableEnvironmentVariableCollection
-    ) {
-        this.map = new Map(serialized);
-    }
-
-    get size(): number {
-        return this.map.size;
-    }
-
-    replace(variable: string, value: string): void {
-        this._setIfDiffers(variable, { value, type: EnvironmentVariableMutatorType.Replace });
-    }
-
-    append(variable: string, value: string): void {
-        this._setIfDiffers(variable, { value, type: EnvironmentVariableMutatorType.Append });
-    }
-
-    prepend(variable: string, value: string): void {
-        this._setIfDiffers(variable, { value, type: EnvironmentVariableMutatorType.Prepend });
-    }
-
-    private _setIfDiffers(variable: string, mutator: theia.EnvironmentVariableMutator): void {
-        const current = this.map.get(variable);
-        if (!current || current.value !== mutator.value || current.type !== mutator.type) {
-            this.map.set(variable, mutator);
-            this.onDidChangeCollectionEmitter.fire();
-        }
-    }
-
-    get(variable: string): theia.EnvironmentVariableMutator | undefined {
-        return this.map.get(variable);
-    }
-
-    // eslint-disable-next-line @typescript-eslint/no-explicit-any
-    forEach(callback: (variable: string, mutator: theia.EnvironmentVariableMutator, collection: theia.EnvironmentVariableCollection) => any, thisArg?: any): void {
-        this.map.forEach((value, key) => callback.call(thisArg, key, value, this));
-    }
-
-    delete(variable: string): void {
-        this.map.delete(variable);
-        this.onDidChangeCollectionEmitter.fire();
-    }
-
-    clear(): void {
-        this.map.clear();
-        this.onDidChangeCollectionEmitter.fire();
-    }
-}
-
-export class TerminalExtImpl implements Terminal {
-
-    name: string;
-
-    readonly id = new Deferred<string>();
-
-    exitStatus: theia.TerminalExitStatus | undefined;
-
-    deferredProcessId = new Deferred<number>();
-
-    get processId(): Thenable<number> {
-        return this.deferredProcessId.promise;
-    }
-
-    readonly creationOptions: Readonly<TerminalOptions | ExtensionTerminalOptions>;
-
-    state: TerminalState = { isInteractedWith: false };
-
-    constructor(private readonly proxy: TerminalServiceMain, private readonly options: theia.TerminalOptions | theia.ExtensionTerminalOptions) {
-        this.creationOptions = this.options;
-    }
-
-    sendText(text: string, addNewLine: boolean = true): void {
-        this.id.promise.then(id => this.proxy.$sendText(id, text, addNewLine));
-    }
-
-    show(preserveFocus?: boolean): void {
-        this.id.promise.then(id => this.proxy.$show(id, preserveFocus));
-    }
-
-    hide(): void {
-        this.id.promise.then(id => this.proxy.$hide(id));
-    }
-
-    dispose(): void {
-        this.id.promise.then(id => this.proxy.$dispose(id));
-    }
-}
-
-export class PseudoTerminal {
-    constructor(
-        id: string | number,
-        private readonly proxy: TerminalServiceMain,
-        private readonly pseudoTerminal: theia.Pseudoterminal,
-        waitOnExit?: boolean | string
-    ) {
-
-        pseudoTerminal.onDidWrite(data => {
-            if (typeof id === 'string') {
-                this.proxy.$write(id, data);
-            } else {
-                this.proxy.$writeByTerminalId(id, data);
-            }
-        });
-        if (pseudoTerminal.onDidClose) {
-            pseudoTerminal.onDidClose((e: number | void = undefined) => {
-                if (typeof id === 'string') {
-                    this.proxy.$dispose(id);
-                } else {
-                    this.proxy.$disposeByTerminalId(id, waitOnExit);
-                }
-            });
-        }
-        if (pseudoTerminal.onDidOverrideDimensions) {
-            pseudoTerminal.onDidOverrideDimensions(e => {
-                if (e) {
-                    if (typeof id === 'string') {
-                        this.proxy.$resize(id, e.columns, e.rows);
-                    } else {
-                        this.proxy.$resizeByTerminalId(id, e.columns, e.rows);
-                    }
-                }
-            });
-        }
-        if (pseudoTerminal.onDidChangeName) {
-            pseudoTerminal.onDidChangeName(name => {
-                if (typeof id === 'string') {
-                    this.proxy.$setName(id, name);
-                } else {
-                    this.proxy.$setNameByTerminalId(id, name);
-                }
-            });
-        }
-    }
-
-    emitOnClose(): void {
-        this.pseudoTerminal.close();
-    }
-
-    emitOnInput(data: string): void {
-        if (this.pseudoTerminal.handleInput) {
-            this.pseudoTerminal.handleInput(data);
-        }
-    }
-
-    emitOnOpen(cols: number, rows: number): void {
-        this.pseudoTerminal.open({
-            rows,
-            columns: cols,
-        });
-    }
-
-    emitOnResize(cols: number, rows: number): void {
-        if (this.pseudoTerminal.setDimensions) {
-            this.pseudoTerminal.setDimensions({ columns: cols, rows });
-        }
-    }
-}
+// *****************************************************************************
+// Copyright (C) 2018 Red Hat, Inc. and others.
+//
+// This program and the accompanying materials are made available under the
+// terms of the Eclipse Public License v. 2.0 which is available at
+// http://www.eclipse.org/legal/epl-2.0.
+//
+// This Source Code may also be made available under the following Secondary
+// Licenses when the conditions for such availability set forth in the Eclipse
+// Public License v. 2.0 are satisfied: GNU General Public License, version 2
+// with the GNU Classpath Exception which is available at
+// https://www.gnu.org/software/classpath/license.html.
+//
+// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0 WITH Classpath-exception-2.0
+// *****************************************************************************
+import { UUID } from '@theia/core/shared/@phosphor/coreutils';
+import { Terminal, TerminalOptions, PseudoTerminalOptions, ExtensionTerminalOptions, TerminalState } from '@theia/plugin';
+import { TerminalServiceExt, TerminalServiceMain, PLUGIN_RPC_CONTEXT } from '../common/plugin-api-rpc';
+import { RPCProtocol } from '../common/rpc-protocol';
+import { Event, Emitter } from '@theia/core/lib/common/event';
+import { Deferred } from '@theia/core/lib/common/promise-util';
+import * as theia from '@theia/plugin';
+import { Disposable, EnvironmentVariableMutatorType, ThemeIcon } from './types-impl';
+import { SerializableEnvironmentVariableCollection } from '@theia/terminal/lib/common/base-terminal-protocol';
+import { ProvidedTerminalLink } from '../common/plugin-api-rpc-model';
+import { ThemeIcon as MonacoThemeIcon } from '@theia/monaco-editor-core/esm/vs/platform/theme/common/themeService';
+
+export function getIconUris(iconPath: theia.TerminalOptions['iconPath']): { id: string } | undefined {
+    if (ThemeIcon.is(iconPath)) {
+        return { id: iconPath.id };
+    }
+    return undefined;
+}
+
+export function getIconClass(options: theia.TerminalOptions | theia.ExtensionTerminalOptions): string | undefined {
+    const iconClass = getIconUris(options.iconPath);
+    if (iconClass) {
+        return MonacoThemeIcon.asClassName(iconClass);
+    }
+    return undefined;
+}
+
+/**
+ * Provides high level terminal plugin api to use in the Theia plugins.
+ * This service allow(with help proxy) create and use terminal emulator.
+ */
+export class TerminalServiceExtImpl implements TerminalServiceExt {
+
+    private readonly proxy: TerminalServiceMain;
+
+    private readonly _terminals = new Map<string, TerminalExtImpl>();
+
+    private readonly _pseudoTerminals = new Map<string, PseudoTerminal>();
+
+    private static nextProviderId = 0;
+    private readonly terminalLinkProviders = new Map<string, theia.TerminalLinkProvider>();
+    private readonly terminalProfileProviders = new Map<string, theia.TerminalProfileProvider>();
+    private readonly onDidCloseTerminalEmitter = new Emitter<Terminal>();
+    readonly onDidCloseTerminal: theia.Event<Terminal> = this.onDidCloseTerminalEmitter.event;
+
+    private readonly onDidOpenTerminalEmitter = new Emitter<Terminal>();
+    readonly onDidOpenTerminal: theia.Event<Terminal> = this.onDidOpenTerminalEmitter.event;
+
+    private readonly onDidChangeActiveTerminalEmitter = new Emitter<Terminal | undefined>();
+    readonly onDidChangeActiveTerminal: theia.Event<Terminal | undefined> = this.onDidChangeActiveTerminalEmitter.event;
+
+    private readonly onDidChangeTerminalStateEmitter = new Emitter<Terminal>();
+    readonly onDidChangeTerminalState: theia.Event<Terminal> = this.onDidChangeTerminalStateEmitter.event;
+
+    protected environmentVariableCollections: Map<string, EnvironmentVariableCollection> = new Map();
+
+    constructor(rpc: RPCProtocol) {
+        this.proxy = rpc.getProxy(PLUGIN_RPC_CONTEXT.TERMINAL_MAIN);
+    }
+
+    get terminals(): TerminalExtImpl[] {
+        return [...this._terminals.values()];
+    }
+
+    createTerminal(
+        nameOrOptions: TerminalOptions | PseudoTerminalOptions | ExtensionTerminalOptions | (string | undefined),
+        shellPath?: string, shellArgs?: string[] | string
+    ): Terminal {
+        const id = `plugin-terminal-${UUID.uuid4()}`;
+        let options: TerminalOptions;
+        let pseudoTerminal: theia.Pseudoterminal | undefined = undefined;
+        if (typeof nameOrOptions === 'object') {
+            if ('pty' in nameOrOptions) {
+                pseudoTerminal = nameOrOptions.pty;
+                options = {
+                    name: nameOrOptions.name,
+                };
+                this._pseudoTerminals.set(id, new PseudoTerminal(id, this.proxy, pseudoTerminal));
+            } else {
+                options = nameOrOptions;
+            }
+        } else {
+            options = {
+                name: nameOrOptions,
+                shellPath: shellPath,
+                shellArgs: shellArgs
+            };
+        }
+
+        let parentId;
+
+        if (options.location && typeof options.location === 'object' && 'parentTerminal' in options.location) {
+            const parentTerminal = options.location.parentTerminal;
+            if (parentTerminal instanceof TerminalExtImpl) {
+                for (const [k, v] of this._terminals) {
+                    if (v === parentTerminal) {
+                        parentId = k;
+                        break;
+                    }
+                }
+            }
+        }
+
+        this.proxy.$createTerminal(id, options, parentId, !!pseudoTerminal);
+
+        let creationOptions: theia.TerminalOptions | theia.ExtensionTerminalOptions = options;
+        // make sure to pass ExtensionTerminalOptions as creation options
+        if (typeof nameOrOptions === 'object' && 'pty' in nameOrOptions) {
+            creationOptions = nameOrOptions;
+        }
+        return this.obtainTerminal(id, options.name || 'Terminal', creationOptions);
+    }
+
+    attachPtyToTerminal(terminalId: number, pty: theia.Pseudoterminal): void {
+        this._pseudoTerminals.set(terminalId.toString(), new PseudoTerminal(terminalId, this.proxy, pty, true));
+    }
+
+    protected obtainTerminal(id: string, name: string, options?: theia.TerminalOptions | theia.ExtensionTerminalOptions): TerminalExtImpl {
+        let terminal = this._terminals.get(id);
+        if (!terminal) {
+            terminal = new TerminalExtImpl(this.proxy, options ?? {});
+            this._terminals.set(id, terminal);
+        }
+        terminal.name = name;
+        return terminal;
+    }
+
+    $terminalOnInput(id: string, data: string): void {
+        const terminal = this._pseudoTerminals.get(id);
+        if (!terminal) {
+            return;
+        }
+        terminal.emitOnInput(data);
+    }
+
+    $terminalStateChanged(id: string): void {
+        const terminal = this._terminals.get(id);
+        if (!terminal) {
+            return;
+        }
+        if (!terminal.state.isInteractedWith) {
+            terminal.state = { isInteractedWith: true };
+            this.onDidChangeTerminalStateEmitter.fire(terminal);
+        }
+    }
+
+    $terminalSizeChanged(id: string, clos: number, rows: number): void {
+        const terminal = this._pseudoTerminals.get(id);
+        if (!terminal) {
+            return;
+        }
+        terminal.emitOnResize(clos, rows);
+    }
+
+    $terminalCreated(id: string, name: string): void {
+        const terminal = this.obtainTerminal(id, name);
+        terminal.id.resolve(id);
+        this.onDidOpenTerminalEmitter.fire(terminal);
+    }
+
+    $terminalNameChanged(id: string, name: string): void {
+        const terminal = this._terminals.get(id);
+        if (terminal) {
+            terminal.name = name;
+        }
+    }
+
+    $terminalOpened(id: string, processId: number, terminalId: number, cols: number, rows: number): void {
+        const terminal = this._terminals.get(id);
+        if (terminal) {
+            // resolve for existing clients
+            terminal.deferredProcessId.resolve(processId);
+            // install new if terminal is reconnected
+            terminal.deferredProcessId = new Deferred<number>();
+            terminal.deferredProcessId.resolve(processId);
+        }
+        const pseudoTerminal = this._pseudoTerminals.get(terminalId.toString());
+        if (pseudoTerminal) {
+            pseudoTerminal.emitOnOpen(cols, rows);
+        }
+    }
+
+    $terminalClosed(id: string, exitStatus: theia.TerminalExitStatus | undefined): void {
+        const terminal = this._terminals.get(id);
+        if (terminal) {
+            terminal.exitStatus = exitStatus ?? { code: undefined };
+            this.onDidCloseTerminalEmitter.fire(terminal);
+            this._terminals.delete(id);
+        }
+        const pseudoTerminal = this._pseudoTerminals.get(id);
+        if (pseudoTerminal) {
+            pseudoTerminal.emitOnClose();
+            this._pseudoTerminals.delete(id);
+        }
+    }
+
+    private activeTerminalId: string | undefined;
+    get activeTerminal(): TerminalExtImpl | undefined {
+        return this.activeTerminalId && this._terminals.get(this.activeTerminalId) || undefined;
+    }
+    $currentTerminalChanged(id: string | undefined): void {
+        this.activeTerminalId = id;
+        this.onDidChangeActiveTerminalEmitter.fire(this.activeTerminal);
+    }
+
+    registerTerminalLinkProvider(provider: theia.TerminalLinkProvider): theia.Disposable {
+        const providerId = (TerminalServiceExtImpl.nextProviderId++).toString();
+        this.terminalLinkProviders.set(providerId, provider);
+        this.proxy.$registerTerminalLinkProvider(providerId);
+        return Disposable.create(() => {
+            this.proxy.$unregisterTerminalLinkProvider(providerId);
+            this.terminalLinkProviders.delete(providerId);
+        });
+    }
+
+    registerTerminalProfileProvider(id: string, provider: theia.TerminalProfileProvider): theia.Disposable {
+        this.terminalProfileProviders.set(id, provider);
+        return Disposable.create(() => {
+            this.terminalProfileProviders.delete(id);
+        });
+    }
+
+    protected isExtensionTerminalOptions(options: theia.TerminalOptions | theia.ExtensionTerminalOptions): options is theia.ExtensionTerminalOptions {
+        return 'pty' in options;
+    }
+
+    async $startProfile(profileId: string, cancellationToken: theia.CancellationToken): Promise<string> {
+        const provider = this.terminalProfileProviders.get(profileId);
+        if (!provider) {
+            throw new Error(`No terminal profile provider with id '${profileId}'`);
+        }
+        const profile = await provider.provideTerminalProfile(cancellationToken);
+        if (!profile) {
+            throw new Error(`Profile with id ${profileId} could not be created`);
+        }
+        const id = `plugin-terminal-${UUID.uuid4()}`;
+        const options = profile.options;
+        if (this.isExtensionTerminalOptions(options)) {
+            this._pseudoTerminals.set(id, new PseudoTerminal(id, this.proxy, options.pty));
+            return this.proxy.$createTerminal(id, { name: options.name }, undefined, true);
+        } else {
+            return this.proxy.$createTerminal(id, profile.options);
+        }
+    }
+
+    async $provideTerminalLinks(line: string, terminalId: string, token: theia.CancellationToken): Promise<ProvidedTerminalLink[]> {
+        const links: ProvidedTerminalLink[] = [];
+        const terminal = this._terminals.get(terminalId);
+        if (terminal) {
+            for (const [providerId, provider] of this.terminalLinkProviders) {
+                const providedLinks = await provider.provideTerminalLinks({ line, terminal }, token);
+                if (providedLinks) {
+                    links.push(...providedLinks.map(link => ({ ...link, providerId })));
+                }
+            }
+        }
+        return links;
+    }
+
+    async $handleTerminalLink(link: ProvidedTerminalLink): Promise<void> {
+        const provider = this.terminalLinkProviders.get(link.providerId);
+        if (!provider) {
+            throw Error('Terminal link provider not found');
+        }
+        await provider.handleTerminalLink(link);
+    }
+
+    /*---------------------------------------------------------------------------------------------
+     *  Copyright (c) Microsoft Corporation. All rights reserved.
+     *  Licensed under the MIT License. See License.txt in the project root for license information.
+     *--------------------------------------------------------------------------------------------*/
+    // some code copied and modified from https://github.com/microsoft/vscode/blob/1.49.0/src/vs/workbench/api/common/extHostTerminalService.ts
+
+    getEnvironmentVariableCollection(extensionIdentifier: string): theia.EnvironmentVariableCollection {
+        let collection = this.environmentVariableCollections.get(extensionIdentifier);
+        if (!collection) {
+            collection = new EnvironmentVariableCollection();
+            this.setEnvironmentVariableCollection(extensionIdentifier, collection);
+        }
+        return collection;
+    }
+
+    private syncEnvironmentVariableCollection(extensionIdentifier: string, collection: EnvironmentVariableCollection): void {
+        const serialized = [...collection.map.entries()];
+        this.proxy.$setEnvironmentVariableCollection(extensionIdentifier, collection.persistent, serialized.length === 0 ? undefined : serialized);
+    }
+
+    private setEnvironmentVariableCollection(extensionIdentifier: string, collection: EnvironmentVariableCollection): void {
+        this.environmentVariableCollections.set(extensionIdentifier, collection);
+        collection.onDidChangeCollection(() => {
+            // When any collection value changes send this immediately, this is done to ensure
+            // following calls to createTerminal will be created with the new environment. It will
+            // result in more noise by sending multiple updates when called but collections are
+            // expected to be small.
+            this.syncEnvironmentVariableCollection(extensionIdentifier, collection);
+        });
+    }
+
+    $initEnvironmentVariableCollections(collections: [string, SerializableEnvironmentVariableCollection][]): void {
+        collections.forEach(entry => {
+            const extensionIdentifier = entry[0];
+            const collection = new EnvironmentVariableCollection(entry[1]);
+            this.setEnvironmentVariableCollection(extensionIdentifier, collection);
+        });
+    }
+
+}
+
+export class EnvironmentVariableCollection implements theia.EnvironmentVariableCollection {
+    readonly map: Map<string, theia.EnvironmentVariableMutator> = new Map();
+    private _persistent: boolean = true;
+
+    public get persistent(): boolean { return this._persistent; }
+    public set persistent(value: boolean) {
+        this._persistent = value;
+        this.onDidChangeCollectionEmitter.fire();
+    }
+
+    protected readonly onDidChangeCollectionEmitter: Emitter<void> = new Emitter<void>();
+    onDidChangeCollection: Event<void> = this.onDidChangeCollectionEmitter.event;
+
+    constructor(
+        serialized?: SerializableEnvironmentVariableCollection
+    ) {
+        this.map = new Map(serialized);
+    }
+
+    get size(): number {
+        return this.map.size;
+    }
+
+    replace(variable: string, value: string): void {
+        this._setIfDiffers(variable, { value, type: EnvironmentVariableMutatorType.Replace });
+    }
+
+    append(variable: string, value: string): void {
+        this._setIfDiffers(variable, { value, type: EnvironmentVariableMutatorType.Append });
+    }
+
+    prepend(variable: string, value: string): void {
+        this._setIfDiffers(variable, { value, type: EnvironmentVariableMutatorType.Prepend });
+    }
+
+    private _setIfDiffers(variable: string, mutator: theia.EnvironmentVariableMutator): void {
+        const current = this.map.get(variable);
+        if (!current || current.value !== mutator.value || current.type !== mutator.type) {
+            this.map.set(variable, mutator);
+            this.onDidChangeCollectionEmitter.fire();
+        }
+    }
+
+    get(variable: string): theia.EnvironmentVariableMutator | undefined {
+        return this.map.get(variable);
+    }
+
+    // eslint-disable-next-line @typescript-eslint/no-explicit-any
+    forEach(callback: (variable: string, mutator: theia.EnvironmentVariableMutator, collection: theia.EnvironmentVariableCollection) => any, thisArg?: any): void {
+        this.map.forEach((value, key) => callback.call(thisArg, key, value, this));
+    }
+
+    delete(variable: string): void {
+        this.map.delete(variable);
+        this.onDidChangeCollectionEmitter.fire();
+    }
+
+    clear(): void {
+        this.map.clear();
+        this.onDidChangeCollectionEmitter.fire();
+    }
+}
+
+export class TerminalExtImpl implements Terminal {
+
+    name: string;
+
+    readonly id = new Deferred<string>();
+
+    exitStatus: theia.TerminalExitStatus | undefined;
+
+    deferredProcessId = new Deferred<number>();
+
+    get processId(): Thenable<number> {
+        return this.deferredProcessId.promise;
+    }
+
+    readonly creationOptions: Readonly<TerminalOptions | ExtensionTerminalOptions>;
+
+    state: TerminalState = { isInteractedWith: false };
+
+    constructor(private readonly proxy: TerminalServiceMain, private readonly options: theia.TerminalOptions | theia.ExtensionTerminalOptions) {
+        this.creationOptions = this.options;
+    }
+
+    sendText(text: string, addNewLine: boolean = true): void {
+        this.id.promise.then(id => this.proxy.$sendText(id, text, addNewLine));
+    }
+
+    show(preserveFocus?: boolean): void {
+        this.id.promise.then(id => this.proxy.$show(id, preserveFocus));
+    }
+
+    hide(): void {
+        this.id.promise.then(id => this.proxy.$hide(id));
+    }
+
+    dispose(): void {
+        this.id.promise.then(id => this.proxy.$dispose(id));
+    }
+}
+
+export class PseudoTerminal {
+    constructor(
+        id: string | number,
+        private readonly proxy: TerminalServiceMain,
+        private readonly pseudoTerminal: theia.Pseudoterminal,
+        waitOnExit?: boolean | string
+    ) {
+
+        pseudoTerminal.onDidWrite(data => {
+            if (typeof id === 'string') {
+                this.proxy.$write(id, data);
+            } else {
+                this.proxy.$writeByTerminalId(id, data);
+            }
+        });
+        if (pseudoTerminal.onDidClose) {
+            pseudoTerminal.onDidClose((e: number | void = undefined) => {
+                if (typeof id === 'string') {
+                    this.proxy.$dispose(id);
+                } else {
+                    this.proxy.$disposeByTerminalId(id, waitOnExit);
+                }
+            });
+        }
+        if (pseudoTerminal.onDidOverrideDimensions) {
+            pseudoTerminal.onDidOverrideDimensions(e => {
+                if (e) {
+                    if (typeof id === 'string') {
+                        this.proxy.$resize(id, e.columns, e.rows);
+                    } else {
+                        this.proxy.$resizeByTerminalId(id, e.columns, e.rows);
+                    }
+                }
+            });
+        }
+        if (pseudoTerminal.onDidChangeName) {
+            pseudoTerminal.onDidChangeName(name => {
+                if (typeof id === 'string') {
+                    this.proxy.$setName(id, name);
+                } else {
+                    this.proxy.$setNameByTerminalId(id, name);
+                }
+            });
+        }
+    }
+
+    emitOnClose(): void {
+        this.pseudoTerminal.close();
+    }
+
+    emitOnInput(data: string): void {
+        if (this.pseudoTerminal.handleInput) {
+            this.pseudoTerminal.handleInput(data);
+        }
+    }
+
+    emitOnOpen(cols: number, rows: number): void {
+        this.pseudoTerminal.open({
+            rows,
+            columns: cols,
+        });
+    }
+
+    emitOnResize(cols: number, rows: number): void {
+        if (this.pseudoTerminal.setDimensions) {
+            this.pseudoTerminal.setDimensions({ columns: cols, rows });
+        }
+    }
+}