Class ExportBase

src/notebooks/export/exportBase.web.ts:43–273

 */
@injectable()
export class ExportBase implements IExportBase {
    constructor(
        @inject(IKernelProvider) private readonly kernelProvider: IKernelProvider,
        @inject(IFileSystem) private readonly fs: IFileSystem,
        @inject(JupyterConnection) private readonly jupyterConnection: JupyterConnection,
        @inject(IExportUtil) private readonly exportUtil: IExportUtil
    ) {}

    public async export(
        _sourceDocument: NotebookDocument,
        _target: Uri,
        _interpreter: PythonEnvironment,
        _token: CancellationToken
    ): Promise<void> {
        return undefined;
    }

    @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) {