From 01c2781f9b7406d77a8a4a8e19bcc634a6f36fbd Mon Sep 17 00:00:00 2001
From: yann300 `
const playRemi = async () => { await document.getElementById('remiAudio').play() }
// to retrieve medium posts
@@ -435,6 +440,10 @@ export class LandingPage extends ViewPlugin {
switchToPreviousVersion()}>Old experience
+ + migrateWorkspace()}>Migrate old filesystem to workspace +
diff --git a/apps/remix-ide/src/migrateFileSystem.js b/apps/remix-ide/src/migrateFileSystem.js index 0a64ba5b29..c15bea2b39 100644 --- a/apps/remix-ide/src/migrateFileSystem.js +++ b/apps/remix-ide/src/migrateFileSystem.js @@ -24,19 +24,15 @@ export default (fileProvider) => { export async function migrateToWorkspace (fileManager, filePanel) { const browserProvider = fileManager.getProvider('browser') const workspaceProvider = fileManager.getProvider('workspace') - const flag = 'status' - const fileStorageBrowserWorkspace = new Storage('remix_browserWorkspace_migration:') - if (fileStorageBrowserWorkspace.get(flag) === 'done') return const files = await browserProvider.copyFolderToJson('/') console.log(files) if (Object.keys(files).length > 0) { - const workspaceName = 'default_workspace' + const workspaceName = 'workspace_migrated_' + Date.now() const workspacePath = joinPath('browser', workspaceProvider.workspacesPath, workspaceName) await filePanel.processCreateWorkspace(workspaceName) filePanel.getWorkspaces() // refresh list await populateWorkspace(workspacePath, files, browserProvider) - } - fileStorageBrowserWorkspace.set(flag, 'done') + } } const populateWorkspace = async (workspace, json, browserProvider) => {