mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-05-02 19:18:42 +00:00
14 lines
512 B
TypeScript
14 lines
512 B
TypeScript
import * as os from 'os';
|
|
import * as path from 'path';
|
|
import { injectable } from 'inversify';
|
|
import { FileUri } from '@theia/core/lib/node/file-uri';
|
|
import { DefaultWorkspaceServer } from '@theia/workspace/lib/node/default-workspace-server';
|
|
|
|
@injectable()
|
|
export class DefaultWorkspaceServerExt extends DefaultWorkspaceServer {
|
|
|
|
protected async getWorkspaceURIFromCli(): Promise<string | undefined> {
|
|
return FileUri.create(path.join(os.homedir(), 'Arduino-PoC', 'Sketches')).toString();
|
|
}
|
|
|
|
} |