@theia/workspace 1.45.1 → 1.46.0-next.72
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +30 -30
- package/lib/browser/canonical-uri-service.d.ts +11 -11
- package/lib/browser/canonical-uri-service.js +59 -59
- package/lib/browser/diff-service.d.ts +10 -10
- package/lib/browser/diff-service.js +85 -85
- package/lib/browser/index.d.ts +7 -7
- package/lib/browser/index.js +34 -34
- package/lib/browser/quick-open-workspace.d.ts +25 -25
- package/lib/browser/quick-open-workspace.js +137 -137
- package/lib/browser/untitled-workspace-exit-dialog.d.ts +19 -19
- package/lib/browser/untitled-workspace-exit-dialog.js +74 -74
- package/lib/browser/workspace-breadcrumbs-contribution.d.ts +10 -10
- package/lib/browser/workspace-breadcrumbs-contribution.js +66 -66
- package/lib/browser/workspace-commands.d.ts +117 -117
- package/lib/browser/workspace-commands.js +601 -601
- package/lib/browser/workspace-commands.spec.d.ts +1 -1
- package/lib/browser/workspace-commands.spec.js +127 -127
- package/lib/browser/workspace-compare-handler.d.ts +26 -26
- package/lib/browser/workspace-compare-handler.js +66 -66
- package/lib/browser/workspace-delete-handler.d.ts +75 -75
- package/lib/browser/workspace-delete-handler.js +214 -214
- package/lib/browser/workspace-duplicate-handler.d.ts +30 -30
- package/lib/browser/workspace-duplicate-handler.js +86 -86
- package/lib/browser/workspace-frontend-contribution.d.ts +110 -110
- package/lib/browser/workspace-frontend-contribution.js +546 -546
- package/lib/browser/workspace-frontend-contribution.js.map +1 -1
- package/lib/browser/workspace-frontend-module.d.ts +3 -3
- package/lib/browser/workspace-frontend-module.js +91 -91
- package/lib/browser/workspace-input-dialog.d.ts +19 -19
- package/lib/browser/workspace-input-dialog.js +74 -74
- package/lib/browser/workspace-preferences.d.ts +11 -11
- package/lib/browser/workspace-preferences.js +46 -46
- package/lib/browser/workspace-schema-updater.d.ts +34 -34
- package/lib/browser/workspace-schema-updater.js +153 -153
- package/lib/browser/workspace-service.d.ts +184 -184
- package/lib/browser/workspace-service.js +739 -739
- package/lib/browser/workspace-storage-service.d.ts +15 -15
- package/lib/browser/workspace-storage-service.js +80 -80
- package/lib/browser/workspace-trust-preferences.d.ts +21 -21
- package/lib/browser/workspace-trust-preferences.js +65 -65
- package/lib/browser/workspace-trust-service.d.ts +27 -27
- package/lib/browser/workspace-trust-service.js +152 -152
- package/lib/browser/workspace-uri-contribution.d.ts +20 -20
- package/lib/browser/workspace-uri-contribution.js +113 -113
- package/lib/browser/workspace-uri-contribution.spec.d.ts +1 -1
- package/lib/browser/workspace-uri-contribution.spec.js +169 -169
- package/lib/browser/workspace-user-working-directory-provider.d.ts +12 -12
- package/lib/browser/workspace-user-working-directory-provider.js +62 -62
- package/lib/browser/workspace-utils.d.ts +15 -15
- package/lib/browser/workspace-utils.js +54 -54
- package/lib/browser/workspace-variable-contribution.d.ts +23 -23
- package/lib/browser/workspace-variable-contribution.js +237 -237
- package/lib/browser/workspace-window-title-updater.d.ts +7 -7
- package/lib/browser/workspace-window-title-updater.js +57 -57
- package/lib/browser-only/browser-only-workspace-server.d.ts +13 -0
- package/lib/browser-only/browser-only-workspace-server.d.ts.map +1 -0
- package/lib/browser-only/browser-only-workspace-server.js +81 -0
- package/lib/browser-only/browser-only-workspace-server.js.map +1 -0
- package/lib/browser-only/workspace-frontend-only-module.d.ts +4 -0
- package/lib/browser-only/workspace-frontend-only-module.d.ts.map +1 -0
- package/lib/browser-only/workspace-frontend-only-module.js +30 -0
- package/lib/browser-only/workspace-frontend-only-module.js.map +1 -0
- package/lib/common/index.d.ts +3 -3
- package/lib/common/index.js +30 -30
- package/lib/common/test/mock-workspace-server.d.ts +7 -7
- package/lib/common/test/mock-workspace-server.js +35 -35
- package/lib/common/untitled-workspace-service.d.ts +8 -8
- package/lib/common/untitled-workspace-service.js +60 -60
- package/lib/common/workspace-file-service.d.ts +26 -26
- package/lib/common/workspace-file-service.js +71 -71
- package/lib/common/workspace-protocol.d.ts +26 -26
- package/lib/common/workspace-protocol.js +23 -23
- package/lib/node/default-workspace-server.d.ts +65 -65
- package/lib/node/default-workspace-server.js +248 -248
- package/lib/node/default-workspace-server.spec.d.ts +1 -1
- package/lib/node/default-workspace-server.spec.js +85 -85
- package/lib/node/index.d.ts +2 -2
- package/lib/node/index.js +29 -29
- package/lib/node/workspace-backend-module.d.ts +3 -3
- package/lib/node/workspace-backend-module.js +33 -33
- package/package.json +9 -6
- package/src/browser/canonical-uri-service.ts +57 -57
- package/src/browser/diff-service.ts +62 -62
- package/src/browser/index.ts +23 -23
- package/src/browser/quick-open-workspace.ts +112 -112
- package/src/browser/untitled-workspace-exit-dialog.ts +70 -70
- package/src/browser/workspace-breadcrumbs-contribution.ts +56 -56
- package/src/browser/workspace-commands.spec.ts +153 -153
- package/src/browser/workspace-commands.ts +588 -588
- package/src/browser/workspace-compare-handler.ts +56 -56
- package/src/browser/workspace-delete-handler.ts +212 -212
- package/src/browser/workspace-duplicate-handler.ts +75 -75
- package/src/browser/workspace-frontend-contribution.ts +537 -537
- package/src/browser/workspace-frontend-module.ts +118 -118
- package/src/browser/workspace-input-dialog.ts +61 -61
- package/src/browser/workspace-preferences.ts +58 -58
- package/src/browser/workspace-schema-updater.ts +150 -150
- package/src/browser/workspace-service.ts +780 -780
- package/src/browser/workspace-storage-service.ts +67 -67
- package/src/browser/workspace-trust-preferences.ts +76 -76
- package/src/browser/workspace-trust-service.ts +147 -147
- package/src/browser/workspace-uri-contribution.spec.ts +191 -191
- package/src/browser/workspace-uri-contribution.ts +97 -97
- package/src/browser/workspace-user-working-directory-provider.ts +49 -49
- package/src/browser/workspace-utils.ts +45 -45
- package/src/browser/workspace-variable-contribution.ts +222 -222
- package/src/browser/workspace-window-title-updater.ts +45 -45
- package/src/browser-only/browser-only-workspace-server.ts +69 -0
- package/src/browser-only/workspace-frontend-only-module.ts +28 -0
- package/src/common/index.ts +19 -19
- package/src/common/test/mock-workspace-server.ts +29 -29
- package/src/common/untitled-workspace-service.ts +50 -50
- package/src/common/workspace-file-service.ts +72 -72
- package/src/common/workspace-protocol.ts +47 -47
- package/src/node/default-workspace-server.spec.ts +100 -100
- package/src/node/default-workspace-server.ts +244 -244
- package/src/node/index.ts +18 -18
- package/src/node/workspace-backend-module.ts +38 -38
|
@@ -1,249 +1,249 @@
|
|
|
1
|
-
"use strict";
|
|
2
|
-
// *****************************************************************************
|
|
3
|
-
// Copyright (C) 2017 TypeFox and others.
|
|
4
|
-
//
|
|
5
|
-
// This program and the accompanying materials are made available under the
|
|
6
|
-
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
-
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
-
//
|
|
9
|
-
// This Source Code may also be made available under the following Secondary
|
|
10
|
-
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
-
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
-
// with the GNU Classpath Exception which is available at
|
|
13
|
-
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
-
//
|
|
15
|
-
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
-
// *****************************************************************************
|
|
17
|
-
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
18
|
-
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
19
|
-
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
20
|
-
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
21
|
-
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
22
|
-
};
|
|
23
|
-
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
24
|
-
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
25
|
-
};
|
|
26
|
-
Object.defineProperty(exports, "__esModule", { value: true });
|
|
27
|
-
exports.RecentWorkspacePathsData = exports.DefaultWorkspaceServer = exports.WorkspaceCliContribution = void 0;
|
|
28
|
-
const path = require("path");
|
|
29
|
-
const fs = require("@theia/core/shared/fs-extra");
|
|
30
|
-
const jsoncparser = require("jsonc-parser");
|
|
31
|
-
const inversify_1 = require("@theia/core/shared/inversify");
|
|
32
|
-
const node_1 = require("@theia/core/lib/node");
|
|
33
|
-
const promise_util_1 = require("@theia/core/lib/common/promise-util");
|
|
34
|
-
const common_1 = require("../common");
|
|
35
|
-
const env_variables_1 = require("@theia/core/lib/common/env-variables");
|
|
36
|
-
const uri_1 = require("@theia/core/lib/common/uri");
|
|
37
|
-
const core_1 = require("@theia/core");
|
|
38
|
-
let WorkspaceCliContribution = class WorkspaceCliContribution {
|
|
39
|
-
constructor() {
|
|
40
|
-
this.workspaceRoot = new promise_util_1.Deferred();
|
|
41
|
-
}
|
|
42
|
-
configure(conf) {
|
|
43
|
-
conf.usage('$0 [workspace-directories] [options]');
|
|
44
|
-
conf.option('root-dir', {
|
|
45
|
-
description: 'DEPRECATED: Sets the workspace directory.',
|
|
46
|
-
});
|
|
47
|
-
}
|
|
48
|
-
async setArguments(args) {
|
|
49
|
-
const workspaceArguments = args._.map(probablyAlreadyString => String(probablyAlreadyString));
|
|
50
|
-
if (workspaceArguments.length === 0 && args['root-dir']) {
|
|
51
|
-
workspaceArguments.push(String(args['root-dir']));
|
|
52
|
-
}
|
|
53
|
-
if (workspaceArguments.length === 0) {
|
|
54
|
-
this.workspaceRoot.resolve(undefined);
|
|
55
|
-
}
|
|
56
|
-
else if (workspaceArguments.length === 1) {
|
|
57
|
-
this.workspaceRoot.resolve(this.normalizeWorkspaceArg(workspaceArguments[0]));
|
|
58
|
-
}
|
|
59
|
-
else {
|
|
60
|
-
this.workspaceRoot.resolve(this.buildWorkspaceForMultipleArguments(workspaceArguments));
|
|
61
|
-
}
|
|
62
|
-
}
|
|
63
|
-
normalizeWorkspaceArg(raw) {
|
|
64
|
-
return path.resolve(raw).replace(/\/$/, '');
|
|
65
|
-
}
|
|
66
|
-
async buildWorkspaceForMultipleArguments(workspaceArguments) {
|
|
67
|
-
var _a;
|
|
68
|
-
try {
|
|
69
|
-
const dirs = await Promise.all(workspaceArguments.map(async (maybeDir) => { var _a; return (_a = (await fs.stat(maybeDir).catch(() => undefined))) === null || _a === void 0 ? void 0 : _a.isDirectory(); }));
|
|
70
|
-
const folders = workspaceArguments.filter((_, index) => dirs[index]).map(dir => ({ path: this.normalizeWorkspaceArg(dir) }));
|
|
71
|
-
if (folders.length < 2) {
|
|
72
|
-
return (_a = folders[0]) === null || _a === void 0 ? void 0 : _a.path;
|
|
73
|
-
}
|
|
74
|
-
const untitledWorkspaceUri = await this.untitledWorkspaceService.getUntitledWorkspaceUri(new uri_1.default(await this.envVariablesServer.getConfigDirUri()), async (uri) => !await fs.pathExists(uri.path.fsPath()));
|
|
75
|
-
const untitledWorkspacePath = untitledWorkspaceUri.path.fsPath();
|
|
76
|
-
await fs.ensureDir(path.dirname(untitledWorkspacePath));
|
|
77
|
-
await fs.writeFile(untitledWorkspacePath, JSON.stringify({ folders }, undefined, 4));
|
|
78
|
-
return untitledWorkspacePath;
|
|
79
|
-
}
|
|
80
|
-
catch {
|
|
81
|
-
return undefined;
|
|
82
|
-
}
|
|
83
|
-
}
|
|
84
|
-
};
|
|
85
|
-
__decorate([
|
|
86
|
-
(0, inversify_1.inject)(env_variables_1.EnvVariablesServer),
|
|
87
|
-
__metadata("design:type", Object)
|
|
88
|
-
], WorkspaceCliContribution.prototype, "envVariablesServer", void 0);
|
|
89
|
-
__decorate([
|
|
90
|
-
(0, inversify_1.inject)(common_1.UntitledWorkspaceService),
|
|
91
|
-
__metadata("design:type", common_1.UntitledWorkspaceService)
|
|
92
|
-
], WorkspaceCliContribution.prototype, "untitledWorkspaceService", void 0);
|
|
93
|
-
WorkspaceCliContribution = __decorate([
|
|
94
|
-
(0, inversify_1.injectable)()
|
|
95
|
-
], WorkspaceCliContribution);
|
|
96
|
-
exports.WorkspaceCliContribution = WorkspaceCliContribution;
|
|
97
|
-
let DefaultWorkspaceServer = class DefaultWorkspaceServer {
|
|
98
|
-
constructor() {
|
|
99
|
-
this.root = new promise_util_1.Deferred();
|
|
100
|
-
/**
|
|
101
|
-
* Untitled workspaces that are not among the most recent N workspaces will be deleted on start. Increase this number to keep older files,
|
|
102
|
-
* lower it to delete stale untitled workspaces more aggressively.
|
|
103
|
-
*/
|
|
104
|
-
this.untitledWorkspaceStaleThreshold = 10;
|
|
105
|
-
}
|
|
106
|
-
init() {
|
|
107
|
-
this.doInit();
|
|
108
|
-
}
|
|
109
|
-
async doInit() {
|
|
110
|
-
const root = await this.getRoot();
|
|
111
|
-
this.root.resolve(root);
|
|
112
|
-
}
|
|
113
|
-
async onStart() {
|
|
114
|
-
await this.removeOldUntitledWorkspaces();
|
|
115
|
-
}
|
|
116
|
-
async getRoot() {
|
|
117
|
-
let root = await this.getWorkspaceURIFromCli();
|
|
118
|
-
if (!root) {
|
|
119
|
-
const data = await this.readRecentWorkspacePathsFromUserHome();
|
|
120
|
-
if (data && data.recentRoots) {
|
|
121
|
-
root = data.recentRoots[0];
|
|
122
|
-
}
|
|
123
|
-
}
|
|
124
|
-
return root;
|
|
125
|
-
}
|
|
126
|
-
getMostRecentlyUsedWorkspace() {
|
|
127
|
-
return this.root.promise;
|
|
128
|
-
}
|
|
129
|
-
async setMostRecentlyUsedWorkspace(rawUri) {
|
|
130
|
-
const uri = rawUri && new uri_1.default(rawUri).toString(); // the empty string is used as a signal from the frontend not to load a workspace.
|
|
131
|
-
this.root = new promise_util_1.Deferred();
|
|
132
|
-
this.root.resolve(uri);
|
|
133
|
-
const recentRoots = Array.from(new Set([uri, ...await this.getRecentWorkspaces()]));
|
|
134
|
-
this.writeToUserHome({ recentRoots });
|
|
135
|
-
}
|
|
136
|
-
async removeRecentWorkspace(rawUri) {
|
|
137
|
-
const uri = rawUri && new uri_1.default(rawUri).toString(); // the empty string is used as a signal from the frontend not to load a workspace.
|
|
138
|
-
const recentRoots = await this.getRecentWorkspaces();
|
|
139
|
-
const index = recentRoots.indexOf(uri);
|
|
140
|
-
if (index !== -1) {
|
|
141
|
-
recentRoots.splice(index, 1);
|
|
142
|
-
this.writeToUserHome({
|
|
143
|
-
recentRoots
|
|
144
|
-
});
|
|
145
|
-
}
|
|
146
|
-
}
|
|
147
|
-
async getRecentWorkspaces() {
|
|
148
|
-
const data = await this.readRecentWorkspacePathsFromUserHome();
|
|
149
|
-
if (data && data.recentRoots) {
|
|
150
|
-
const allRootUris = await Promise.all(data.recentRoots.map(async (element) => element && await this.workspaceStillExist(element) ? element : undefined));
|
|
151
|
-
return allRootUris.filter(core_1.notEmpty);
|
|
152
|
-
}
|
|
153
|
-
return [];
|
|
154
|
-
}
|
|
155
|
-
async workspaceStillExist(workspaceRootUri) {
|
|
156
|
-
return fs.pathExists(node_1.FileUri.fsPath(workspaceRootUri));
|
|
157
|
-
}
|
|
158
|
-
async getWorkspaceURIFromCli() {
|
|
159
|
-
const arg = await this.cliParams.workspaceRoot.promise;
|
|
160
|
-
return arg !== undefined ? node_1.FileUri.create(arg).toString() : undefined;
|
|
161
|
-
}
|
|
162
|
-
/**
|
|
163
|
-
* Writes the given uri as the most recently used workspace root to the user's home directory.
|
|
164
|
-
* @param uri most recently used uri
|
|
165
|
-
*/
|
|
166
|
-
async writeToUserHome(data) {
|
|
167
|
-
const file = await this.getUserStoragePath();
|
|
168
|
-
await this.writeToFile(file, data);
|
|
169
|
-
}
|
|
170
|
-
async writeToFile(fsPath, data) {
|
|
171
|
-
if (!await fs.pathExists(fsPath)) {
|
|
172
|
-
await fs.mkdirs(path.resolve(fsPath, '..'));
|
|
173
|
-
}
|
|
174
|
-
await fs.writeJson(fsPath, data);
|
|
175
|
-
}
|
|
176
|
-
/**
|
|
177
|
-
* Reads the most recently used workspace root from the user's home directory.
|
|
178
|
-
*/
|
|
179
|
-
async readRecentWorkspacePathsFromUserHome() {
|
|
180
|
-
const fsPath = await this.getUserStoragePath();
|
|
181
|
-
const data = await this.readJsonFromFile(fsPath);
|
|
182
|
-
return RecentWorkspacePathsData.create(data);
|
|
183
|
-
}
|
|
184
|
-
async readJsonFromFile(fsPath) {
|
|
185
|
-
if (await fs.pathExists(fsPath)) {
|
|
186
|
-
const rawContent = await fs.readFile(fsPath, 'utf-8');
|
|
187
|
-
const strippedContent = jsoncparser.stripComments(rawContent);
|
|
188
|
-
return jsoncparser.parse(strippedContent);
|
|
189
|
-
}
|
|
190
|
-
}
|
|
191
|
-
async getUserStoragePath() {
|
|
192
|
-
const configDirUri = await this.envServer.getConfigDirUri();
|
|
193
|
-
return path.resolve(node_1.FileUri.fsPath(configDirUri), 'recentworkspace.json');
|
|
194
|
-
}
|
|
195
|
-
/**
|
|
196
|
-
* Removes untitled workspaces that are not among the most recently used workspaces.
|
|
197
|
-
* Use the `untitledWorkspaceStaleThreshold` to configure when to delete workspaces.
|
|
198
|
-
*/
|
|
199
|
-
async removeOldUntitledWorkspaces() {
|
|
200
|
-
const recents = (await this.getRecentWorkspaces()).map(node_1.FileUri.fsPath);
|
|
201
|
-
const olderUntitledWorkspaces = recents
|
|
202
|
-
.slice(this.untitledWorkspaceStaleThreshold)
|
|
203
|
-
.filter(workspace => this.untitledWorkspaceService.isUntitledWorkspace(node_1.FileUri.create(workspace)));
|
|
204
|
-
await Promise.all(olderUntitledWorkspaces.map(workspace => fs.promises.unlink(node_1.FileUri.fsPath(workspace)).catch(() => { })));
|
|
205
|
-
if (olderUntitledWorkspaces.length > 0) {
|
|
206
|
-
await this.writeToUserHome({ recentRoots: await this.getRecentWorkspaces() });
|
|
207
|
-
}
|
|
208
|
-
}
|
|
209
|
-
};
|
|
210
|
-
__decorate([
|
|
211
|
-
(0, inversify_1.inject)(WorkspaceCliContribution),
|
|
212
|
-
__metadata("design:type", WorkspaceCliContribution)
|
|
213
|
-
], DefaultWorkspaceServer.prototype, "cliParams", void 0);
|
|
214
|
-
__decorate([
|
|
215
|
-
(0, inversify_1.inject)(env_variables_1.EnvVariablesServer),
|
|
216
|
-
__metadata("design:type", Object)
|
|
217
|
-
], DefaultWorkspaceServer.prototype, "envServer", void 0);
|
|
218
|
-
__decorate([
|
|
219
|
-
(0, inversify_1.inject)(common_1.UntitledWorkspaceService),
|
|
220
|
-
__metadata("design:type", common_1.UntitledWorkspaceService)
|
|
221
|
-
], DefaultWorkspaceServer.prototype, "untitledWorkspaceService", void 0);
|
|
222
|
-
__decorate([
|
|
223
|
-
(0, inversify_1.postConstruct)(),
|
|
224
|
-
__metadata("design:type", Function),
|
|
225
|
-
__metadata("design:paramtypes", []),
|
|
226
|
-
__metadata("design:returntype", void 0)
|
|
227
|
-
], DefaultWorkspaceServer.prototype, "init", null);
|
|
228
|
-
DefaultWorkspaceServer = __decorate([
|
|
229
|
-
(0, inversify_1.injectable)()
|
|
230
|
-
], DefaultWorkspaceServer);
|
|
231
|
-
exports.DefaultWorkspaceServer = DefaultWorkspaceServer;
|
|
232
|
-
var RecentWorkspacePathsData;
|
|
233
|
-
(function (RecentWorkspacePathsData) {
|
|
234
|
-
/**
|
|
235
|
-
* Parses `data` as `RecentWorkspacePathsData` but removes any non-string array entry.
|
|
236
|
-
*
|
|
237
|
-
* Returns undefined if the given `data` does not contain a `recentRoots` array property.
|
|
238
|
-
*/
|
|
239
|
-
function create(data) {
|
|
240
|
-
if (typeof data !== 'object' || !data || !Array.isArray(data.recentRoots)) {
|
|
241
|
-
return;
|
|
242
|
-
}
|
|
243
|
-
return {
|
|
244
|
-
recentRoots: data.recentRoots.filter(root => typeof root === 'string')
|
|
245
|
-
};
|
|
246
|
-
}
|
|
247
|
-
RecentWorkspacePathsData.create = create;
|
|
248
|
-
})(RecentWorkspacePathsData = exports.RecentWorkspacePathsData || (exports.RecentWorkspacePathsData = {}));
|
|
1
|
+
"use strict";
|
|
2
|
+
// *****************************************************************************
|
|
3
|
+
// Copyright (C) 2017 TypeFox and others.
|
|
4
|
+
//
|
|
5
|
+
// This program and the accompanying materials are made available under the
|
|
6
|
+
// terms of the Eclipse Public License v. 2.0 which is available at
|
|
7
|
+
// http://www.eclipse.org/legal/epl-2.0.
|
|
8
|
+
//
|
|
9
|
+
// This Source Code may also be made available under the following Secondary
|
|
10
|
+
// Licenses when the conditions for such availability set forth in the Eclipse
|
|
11
|
+
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
|
|
12
|
+
// with the GNU Classpath Exception which is available at
|
|
13
|
+
// https://www.gnu.org/software/classpath/license.html.
|
|
14
|
+
//
|
|
15
|
+
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
|
|
16
|
+
// *****************************************************************************
|
|
17
|
+
var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
|
|
18
|
+
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
|
|
19
|
+
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
|
|
20
|
+
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators[i]) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
|
|
21
|
+
return c > 3 && r && Object.defineProperty(target, key, r), r;
|
|
22
|
+
};
|
|
23
|
+
var __metadata = (this && this.__metadata) || function (k, v) {
|
|
24
|
+
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
|
|
25
|
+
};
|
|
26
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
27
|
+
exports.RecentWorkspacePathsData = exports.DefaultWorkspaceServer = exports.WorkspaceCliContribution = void 0;
|
|
28
|
+
const path = require("path");
|
|
29
|
+
const fs = require("@theia/core/shared/fs-extra");
|
|
30
|
+
const jsoncparser = require("jsonc-parser");
|
|
31
|
+
const inversify_1 = require("@theia/core/shared/inversify");
|
|
32
|
+
const node_1 = require("@theia/core/lib/node");
|
|
33
|
+
const promise_util_1 = require("@theia/core/lib/common/promise-util");
|
|
34
|
+
const common_1 = require("../common");
|
|
35
|
+
const env_variables_1 = require("@theia/core/lib/common/env-variables");
|
|
36
|
+
const uri_1 = require("@theia/core/lib/common/uri");
|
|
37
|
+
const core_1 = require("@theia/core");
|
|
38
|
+
let WorkspaceCliContribution = class WorkspaceCliContribution {
|
|
39
|
+
constructor() {
|
|
40
|
+
this.workspaceRoot = new promise_util_1.Deferred();
|
|
41
|
+
}
|
|
42
|
+
configure(conf) {
|
|
43
|
+
conf.usage('$0 [workspace-directories] [options]');
|
|
44
|
+
conf.option('root-dir', {
|
|
45
|
+
description: 'DEPRECATED: Sets the workspace directory.',
|
|
46
|
+
});
|
|
47
|
+
}
|
|
48
|
+
async setArguments(args) {
|
|
49
|
+
const workspaceArguments = args._.map(probablyAlreadyString => String(probablyAlreadyString));
|
|
50
|
+
if (workspaceArguments.length === 0 && args['root-dir']) {
|
|
51
|
+
workspaceArguments.push(String(args['root-dir']));
|
|
52
|
+
}
|
|
53
|
+
if (workspaceArguments.length === 0) {
|
|
54
|
+
this.workspaceRoot.resolve(undefined);
|
|
55
|
+
}
|
|
56
|
+
else if (workspaceArguments.length === 1) {
|
|
57
|
+
this.workspaceRoot.resolve(this.normalizeWorkspaceArg(workspaceArguments[0]));
|
|
58
|
+
}
|
|
59
|
+
else {
|
|
60
|
+
this.workspaceRoot.resolve(this.buildWorkspaceForMultipleArguments(workspaceArguments));
|
|
61
|
+
}
|
|
62
|
+
}
|
|
63
|
+
normalizeWorkspaceArg(raw) {
|
|
64
|
+
return path.resolve(raw).replace(/\/$/, '');
|
|
65
|
+
}
|
|
66
|
+
async buildWorkspaceForMultipleArguments(workspaceArguments) {
|
|
67
|
+
var _a;
|
|
68
|
+
try {
|
|
69
|
+
const dirs = await Promise.all(workspaceArguments.map(async (maybeDir) => { var _a; return (_a = (await fs.stat(maybeDir).catch(() => undefined))) === null || _a === void 0 ? void 0 : _a.isDirectory(); }));
|
|
70
|
+
const folders = workspaceArguments.filter((_, index) => dirs[index]).map(dir => ({ path: this.normalizeWorkspaceArg(dir) }));
|
|
71
|
+
if (folders.length < 2) {
|
|
72
|
+
return (_a = folders[0]) === null || _a === void 0 ? void 0 : _a.path;
|
|
73
|
+
}
|
|
74
|
+
const untitledWorkspaceUri = await this.untitledWorkspaceService.getUntitledWorkspaceUri(new uri_1.default(await this.envVariablesServer.getConfigDirUri()), async (uri) => !await fs.pathExists(uri.path.fsPath()));
|
|
75
|
+
const untitledWorkspacePath = untitledWorkspaceUri.path.fsPath();
|
|
76
|
+
await fs.ensureDir(path.dirname(untitledWorkspacePath));
|
|
77
|
+
await fs.writeFile(untitledWorkspacePath, JSON.stringify({ folders }, undefined, 4));
|
|
78
|
+
return untitledWorkspacePath;
|
|
79
|
+
}
|
|
80
|
+
catch {
|
|
81
|
+
return undefined;
|
|
82
|
+
}
|
|
83
|
+
}
|
|
84
|
+
};
|
|
85
|
+
__decorate([
|
|
86
|
+
(0, inversify_1.inject)(env_variables_1.EnvVariablesServer),
|
|
87
|
+
__metadata("design:type", Object)
|
|
88
|
+
], WorkspaceCliContribution.prototype, "envVariablesServer", void 0);
|
|
89
|
+
__decorate([
|
|
90
|
+
(0, inversify_1.inject)(common_1.UntitledWorkspaceService),
|
|
91
|
+
__metadata("design:type", common_1.UntitledWorkspaceService)
|
|
92
|
+
], WorkspaceCliContribution.prototype, "untitledWorkspaceService", void 0);
|
|
93
|
+
WorkspaceCliContribution = __decorate([
|
|
94
|
+
(0, inversify_1.injectable)()
|
|
95
|
+
], WorkspaceCliContribution);
|
|
96
|
+
exports.WorkspaceCliContribution = WorkspaceCliContribution;
|
|
97
|
+
let DefaultWorkspaceServer = class DefaultWorkspaceServer {
|
|
98
|
+
constructor() {
|
|
99
|
+
this.root = new promise_util_1.Deferred();
|
|
100
|
+
/**
|
|
101
|
+
* Untitled workspaces that are not among the most recent N workspaces will be deleted on start. Increase this number to keep older files,
|
|
102
|
+
* lower it to delete stale untitled workspaces more aggressively.
|
|
103
|
+
*/
|
|
104
|
+
this.untitledWorkspaceStaleThreshold = 10;
|
|
105
|
+
}
|
|
106
|
+
init() {
|
|
107
|
+
this.doInit();
|
|
108
|
+
}
|
|
109
|
+
async doInit() {
|
|
110
|
+
const root = await this.getRoot();
|
|
111
|
+
this.root.resolve(root);
|
|
112
|
+
}
|
|
113
|
+
async onStart() {
|
|
114
|
+
await this.removeOldUntitledWorkspaces();
|
|
115
|
+
}
|
|
116
|
+
async getRoot() {
|
|
117
|
+
let root = await this.getWorkspaceURIFromCli();
|
|
118
|
+
if (!root) {
|
|
119
|
+
const data = await this.readRecentWorkspacePathsFromUserHome();
|
|
120
|
+
if (data && data.recentRoots) {
|
|
121
|
+
root = data.recentRoots[0];
|
|
122
|
+
}
|
|
123
|
+
}
|
|
124
|
+
return root;
|
|
125
|
+
}
|
|
126
|
+
getMostRecentlyUsedWorkspace() {
|
|
127
|
+
return this.root.promise;
|
|
128
|
+
}
|
|
129
|
+
async setMostRecentlyUsedWorkspace(rawUri) {
|
|
130
|
+
const uri = rawUri && new uri_1.default(rawUri).toString(); // the empty string is used as a signal from the frontend not to load a workspace.
|
|
131
|
+
this.root = new promise_util_1.Deferred();
|
|
132
|
+
this.root.resolve(uri);
|
|
133
|
+
const recentRoots = Array.from(new Set([uri, ...await this.getRecentWorkspaces()]));
|
|
134
|
+
this.writeToUserHome({ recentRoots });
|
|
135
|
+
}
|
|
136
|
+
async removeRecentWorkspace(rawUri) {
|
|
137
|
+
const uri = rawUri && new uri_1.default(rawUri).toString(); // the empty string is used as a signal from the frontend not to load a workspace.
|
|
138
|
+
const recentRoots = await this.getRecentWorkspaces();
|
|
139
|
+
const index = recentRoots.indexOf(uri);
|
|
140
|
+
if (index !== -1) {
|
|
141
|
+
recentRoots.splice(index, 1);
|
|
142
|
+
this.writeToUserHome({
|
|
143
|
+
recentRoots
|
|
144
|
+
});
|
|
145
|
+
}
|
|
146
|
+
}
|
|
147
|
+
async getRecentWorkspaces() {
|
|
148
|
+
const data = await this.readRecentWorkspacePathsFromUserHome();
|
|
149
|
+
if (data && data.recentRoots) {
|
|
150
|
+
const allRootUris = await Promise.all(data.recentRoots.map(async (element) => element && await this.workspaceStillExist(element) ? element : undefined));
|
|
151
|
+
return allRootUris.filter(core_1.notEmpty);
|
|
152
|
+
}
|
|
153
|
+
return [];
|
|
154
|
+
}
|
|
155
|
+
async workspaceStillExist(workspaceRootUri) {
|
|
156
|
+
return fs.pathExists(node_1.FileUri.fsPath(workspaceRootUri));
|
|
157
|
+
}
|
|
158
|
+
async getWorkspaceURIFromCli() {
|
|
159
|
+
const arg = await this.cliParams.workspaceRoot.promise;
|
|
160
|
+
return arg !== undefined ? node_1.FileUri.create(arg).toString() : undefined;
|
|
161
|
+
}
|
|
162
|
+
/**
|
|
163
|
+
* Writes the given uri as the most recently used workspace root to the user's home directory.
|
|
164
|
+
* @param uri most recently used uri
|
|
165
|
+
*/
|
|
166
|
+
async writeToUserHome(data) {
|
|
167
|
+
const file = await this.getUserStoragePath();
|
|
168
|
+
await this.writeToFile(file, data);
|
|
169
|
+
}
|
|
170
|
+
async writeToFile(fsPath, data) {
|
|
171
|
+
if (!await fs.pathExists(fsPath)) {
|
|
172
|
+
await fs.mkdirs(path.resolve(fsPath, '..'));
|
|
173
|
+
}
|
|
174
|
+
await fs.writeJson(fsPath, data);
|
|
175
|
+
}
|
|
176
|
+
/**
|
|
177
|
+
* Reads the most recently used workspace root from the user's home directory.
|
|
178
|
+
*/
|
|
179
|
+
async readRecentWorkspacePathsFromUserHome() {
|
|
180
|
+
const fsPath = await this.getUserStoragePath();
|
|
181
|
+
const data = await this.readJsonFromFile(fsPath);
|
|
182
|
+
return RecentWorkspacePathsData.create(data);
|
|
183
|
+
}
|
|
184
|
+
async readJsonFromFile(fsPath) {
|
|
185
|
+
if (await fs.pathExists(fsPath)) {
|
|
186
|
+
const rawContent = await fs.readFile(fsPath, 'utf-8');
|
|
187
|
+
const strippedContent = jsoncparser.stripComments(rawContent);
|
|
188
|
+
return jsoncparser.parse(strippedContent);
|
|
189
|
+
}
|
|
190
|
+
}
|
|
191
|
+
async getUserStoragePath() {
|
|
192
|
+
const configDirUri = await this.envServer.getConfigDirUri();
|
|
193
|
+
return path.resolve(node_1.FileUri.fsPath(configDirUri), 'recentworkspace.json');
|
|
194
|
+
}
|
|
195
|
+
/**
|
|
196
|
+
* Removes untitled workspaces that are not among the most recently used workspaces.
|
|
197
|
+
* Use the `untitledWorkspaceStaleThreshold` to configure when to delete workspaces.
|
|
198
|
+
*/
|
|
199
|
+
async removeOldUntitledWorkspaces() {
|
|
200
|
+
const recents = (await this.getRecentWorkspaces()).map(node_1.FileUri.fsPath);
|
|
201
|
+
const olderUntitledWorkspaces = recents
|
|
202
|
+
.slice(this.untitledWorkspaceStaleThreshold)
|
|
203
|
+
.filter(workspace => this.untitledWorkspaceService.isUntitledWorkspace(node_1.FileUri.create(workspace)));
|
|
204
|
+
await Promise.all(olderUntitledWorkspaces.map(workspace => fs.promises.unlink(node_1.FileUri.fsPath(workspace)).catch(() => { })));
|
|
205
|
+
if (olderUntitledWorkspaces.length > 0) {
|
|
206
|
+
await this.writeToUserHome({ recentRoots: await this.getRecentWorkspaces() });
|
|
207
|
+
}
|
|
208
|
+
}
|
|
209
|
+
};
|
|
210
|
+
__decorate([
|
|
211
|
+
(0, inversify_1.inject)(WorkspaceCliContribution),
|
|
212
|
+
__metadata("design:type", WorkspaceCliContribution)
|
|
213
|
+
], DefaultWorkspaceServer.prototype, "cliParams", void 0);
|
|
214
|
+
__decorate([
|
|
215
|
+
(0, inversify_1.inject)(env_variables_1.EnvVariablesServer),
|
|
216
|
+
__metadata("design:type", Object)
|
|
217
|
+
], DefaultWorkspaceServer.prototype, "envServer", void 0);
|
|
218
|
+
__decorate([
|
|
219
|
+
(0, inversify_1.inject)(common_1.UntitledWorkspaceService),
|
|
220
|
+
__metadata("design:type", common_1.UntitledWorkspaceService)
|
|
221
|
+
], DefaultWorkspaceServer.prototype, "untitledWorkspaceService", void 0);
|
|
222
|
+
__decorate([
|
|
223
|
+
(0, inversify_1.postConstruct)(),
|
|
224
|
+
__metadata("design:type", Function),
|
|
225
|
+
__metadata("design:paramtypes", []),
|
|
226
|
+
__metadata("design:returntype", void 0)
|
|
227
|
+
], DefaultWorkspaceServer.prototype, "init", null);
|
|
228
|
+
DefaultWorkspaceServer = __decorate([
|
|
229
|
+
(0, inversify_1.injectable)()
|
|
230
|
+
], DefaultWorkspaceServer);
|
|
231
|
+
exports.DefaultWorkspaceServer = DefaultWorkspaceServer;
|
|
232
|
+
var RecentWorkspacePathsData;
|
|
233
|
+
(function (RecentWorkspacePathsData) {
|
|
234
|
+
/**
|
|
235
|
+
* Parses `data` as `RecentWorkspacePathsData` but removes any non-string array entry.
|
|
236
|
+
*
|
|
237
|
+
* Returns undefined if the given `data` does not contain a `recentRoots` array property.
|
|
238
|
+
*/
|
|
239
|
+
function create(data) {
|
|
240
|
+
if (typeof data !== 'object' || !data || !Array.isArray(data.recentRoots)) {
|
|
241
|
+
return;
|
|
242
|
+
}
|
|
243
|
+
return {
|
|
244
|
+
recentRoots: data.recentRoots.filter(root => typeof root === 'string')
|
|
245
|
+
};
|
|
246
|
+
}
|
|
247
|
+
RecentWorkspacePathsData.create = create;
|
|
248
|
+
})(RecentWorkspacePathsData = exports.RecentWorkspacePathsData || (exports.RecentWorkspacePathsData = {}));
|
|
249
249
|
//# sourceMappingURL=default-workspace-server.js.map
|
|
@@ -1,2 +1,2 @@
|
|
|
1
|
-
export {};
|
|
1
|
+
export {};
|
|
2
2
|
//# sourceMappingURL=default-workspace-server.spec.d.ts.map
|