Method executeCommand

src/notebooks/export/exportBase.web.ts:61–169

(
        sourceDocument: NotebookDocument,
        target: Uri,
        format: ExportFormat,
        _interpreter: PythonEnvironment,
        _token: CancellationToken
    )

    @reportAction(ReportableAction.PerformingExport)
    async executeCommand(
        sourceDocument: NotebookDocument,
        target: Uri,
        format: ExportFormat,
        _interpreter: PythonEnvironment,
        _token: CancellationToken
    ): Promise<void> {
        const kernel = this.kernelProvider.get(sourceDocument);
        if (!kernel) {
            // trace error
            return;
        }
        if (!kernel.session) {
            await kernel.start(new DisplayOptions(false));
        }
        if (!kernel.session?.kernel) {
            return;
        }

        const kernelConnectionMetadata = kernel.kernelConnectionMetadata;
        const resource = kernel.resourceUri;
        if (!isRemoteConnection(kernelConnectionMetadata)) {
            return;
        }
        if (resource) {
            return;
        }
        const kernelConnection = kernel.session.kernel;
        const connection = await this.jupyterConnection.createConnectionInfo(
            kernelConnectionMetadata.serverProviderHandle
        );
        const serverSettings = connection.settings;
        const jupyter = require('@jupyterlab/services') as typeof import('@jupyterlab/services');
        const contentsManager = new jupyter.ContentsManager({ serverSettings });

        let contents = await this.exportUtil.getContent(sourceDocument);

        let fileExt = '';

        switch (format) {
            case ExportFormat.html:
                fileExt = '.html';
                break;
            case ExportFormat.pdf:
                fileExt = '.pdf';
                break;
            case ExportFormat.python:
                fileExt = '.py';
                break;
        }

        const backingFile = await this.createBackingFile(resource, contentsManager);

        if (!backingFile) {
            return;
        }
        await contentsManager
            .save(backingFile!.filePath, {