Export and import user profiles

[sandy081]

Initial profile support for settings, extensions, activity bar, views, view container, status bar

• Support to export a profile from the current workbench
• Support to import a profile from a file/URL
• Enable profile support in the storage service

[bpasero]

I pushed a new StorageTarget.PROFILE to branch issue/146729. Not sure about the name, but we can always change it.

[sandy081]

@bpasero Moving this back to April since I have the implementation ready in the branch issue/146729. Planning to push changes to main on Monday.

[bpasero]

Oh nice, sorry didn't know that 👏

[sandy081]

Here is the quick demo of exporting and importing profiles - Settings, Extensions and UI state is exported/imported

Exporting

Export.mov

Importing

Import.mov

CC @sana-ajani

[ChaseKnowlden]

I've seen an extension by Aaron Powell that is similar to this feature

[lostintangent]

This is awesome! ❤️ Out of curiosity: is there a way for an extension to programmatically export a profile as a string, and then headlessly import it via a URI? I'd love to update GistPad to allow saving/restoring/sharing profiles via GitHub Gists, without the user needing to manually generate the profile file, and then create a gist from it.

[sandy081]

is there a way for an extension to programmatically export a profile as a string, and then headlessly import it via a URI?

Nope. But we are planning to extend this feature to extensions by allowing them to contribute profiles just like themes.