Export workspace
To export a workspace, click on the menu File -> Workspace to open the workspace management dialog and click on the Export... button.
Then a sub-menu pops up and you must select if you want to :
- Export a workspace to a folder.
- Export a workspace to a ZIP file.
Exporting a workspace is useful for backing up or sharing full user data with colleagues.
Specify a folder to export the complete workspace. You can check "Compress exported workspace" if you want a zip file (the compressed workspace can be directly imported).