That is a really good question. To be honest we were thinking about both folders as a default workspace location. In the end the main reason why we decided to go with
~/Mbed Programs as a default is the size of Mbed programs. As you mentioned
Documents folder is often by default synced with OneDrive or other programs. We were trying to avoid sync of 1GB of files after program creation. We are working on solutions that will reduce the size of programs (for example on sharing Mbed OS across multiple programs). It is possible that in the future we will change it to
Until then you can still point Mbed Studio at a different workspace. What you can do is:
- Create a new empty folder in
Documents folder or any other location
- In Mbed Studio go into
File->Open Workspace... and select a newly created workspace
After that Mbed Studio will be using this folder as your workspace. It will also automatically open this workspace on Mbed Studio restart. There is also an option to easily navigate between workspaces previously used in Mbed Studio:
File->Open Recent Workspace....
Unfortunately at the moment Mbed Studio does not allow to copy programs across workspaces. You can however do it manually by copying them outside of Mbed Studio to the new location. Mbed Studio should pick them up automatically.
Arek - Mbed Studio team