arduino-ide/arduino-ide-extension/src/node/default-workspace-server-ext.ts

import { injectable, inject } from 'inversify';
import { DefaultWorkspaceServer } from '@theia/workspace/lib/node/default-workspace-server';
import { ConfigService } from '../common/protocol/config-service';

@injectable()
export class DefaultWorkspaceServerExt extends DefaultWorkspaceServer {

    @inject(ConfigService) protected readonly configService: ConfigService;

    protected async getWorkspaceURIFromCli(): Promise<string | undefined> {
        const config = await this.configService.getConfiguration();
        return config.sketchDirUri;
    }

}