vscode#TerminalOptions TypeScript Examples

private async installElan() : Promise<boolean> {

        if (toolchainPath()) {
            void window.showErrorMessage('It looks like you\'ve modified the `lean.toolchainPath` user setting.' +
            'Please clear this setting before installing elan.');
            return false;
        } else {
            const terminalName = 'Lean installation via elan';

            let terminalOptions: TerminalOptions = { name: terminalName };
            if (process.platform === 'win32') {
                const windir = process.env.windir
                terminalOptions = { name: terminalName, shellPath: `${windir}\\System32\\WindowsPowerShell\\v1.0\\powershell.exe` };
            }
            const terminal = window.createTerminal(terminalOptions);
            terminal.show();

            // We register a listener, to restart the Lean extension once elan has finished.
            const result = new Promise<boolean>(function(resolve, reject) {
                window.onDidCloseTerminal((t) => {
                if (t.name === terminalName) {
                    resolve(true);
                }});
            });

            if (process.platform === 'win32') {
                terminal.sendText(
                    `Invoke-WebRequest -Uri "${this.leanInstallerWindows}" -OutFile elan-init.ps1\n` +
                    `$rc = .\\elan-init.ps1 -NoPrompt 1 -DefaultToolchain ${this.defaultToolchain}\n` +
                    'Write-Host "elan-init returned [$rc]"\n' +
                    'del .\\elan-init.ps1\n' +
                    'if ($rc -ne 0) {\n' +
                    '    Read-Host -Prompt "Press ENTER to continue"\n' +
                    '}\n' +
                    'exit\n'
                    );
            }
            else{
                const elanArgs = `-y --default-toolchain ${this.defaultToolchain}`;
                const prompt = '(echo && read -n 1 -s -r -p "Install failed, press ENTER to continue...")';

                terminal.sendText(`bash -c 'curl ${this.leanInstallerLinux} -sSf | sh -s -- ${elanArgs} || ${prompt}' && exit `);
            }

            return result;
        }
    }