also add the workspace name, #41408

This commit is contained in:
Johannes Rieken
2018-01-16 17:49:19 -08:00
parent a1b6fed0a0
commit 54240a7bd3

View File

@@ -106,7 +106,10 @@ class ExtensionStoragePath {
await mkdirp(storagePath);
await writeFile(
join(storagePath, 'meta.json'),
JSON.stringify({ id: this._workspace.id })
JSON.stringify({
id: this._workspace.id,
name: this._workspace.name
}, undefined, 2)
);
return storagePath;