@theia/core
Version:
Theia is a cloud & desktop IDE framework implemented in TypeScript.
49 lines (42 loc) • 2.1 kB
text/typescript
// *****************************************************************************
// Copyright (C) 2022 Ericsson and others.
//
// This program and the accompanying materials are made available under the
// terms of the Eclipse Public License v. 2.0 which is available at
// http://www.eclipse.org/legal/epl-2.0.
//
// This Source Code may also be made available under the following Secondary
// Licenses when the conditions for such availability set forth in the Eclipse
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
// with the GNU Classpath Exception which is available at
// https://www.gnu.org/software/classpath/license.html.
//
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
// *****************************************************************************
import { inject, injectable } from 'inversify';
import URI from '../common/uri';
import { MaybePromise, SelectionService, UriSelection } from '../common';
import { EnvVariablesServer } from '../common/env-variables';
()
export class UserWorkingDirectoryProvider {
(SelectionService) protected readonly selectionService: SelectionService;
(EnvVariablesServer) protected readonly envVariables: EnvVariablesServer;
/**
* @returns A {@link URI} that represents a good guess about the directory in which the user is currently operating.
*
* Factors considered may include the current widget, current selection, user home directory, or other application state.
*/
async getUserWorkingDir(): Promise<URI> {
return await this.getFromSelection()
?? this.getFromUserHome();
}
protected getFromSelection(): MaybePromise<URI | undefined> {
return this.ensureIsDirectory(UriSelection.getUri(this.selectionService.selection));
}
protected getFromUserHome(): MaybePromise<URI> {
return this.envVariables.getHomeDirUri().then(home => new URI(home));
}
protected ensureIsDirectory(uri?: URI): MaybePromise<URI | undefined> {
return uri?.parent;
}
}