update_workspaces.py

#!/usr/bin/env python3
from os import scandir, path
from json import dump


def make_workspace(root):

    # Get list of folder names
    names = [d.name for d in scandir(root) if d.is_dir()]
    names.sort()

    # Make the workspace dictionary
    workspace = {
        "folders": [
            {
                "path": name
            }
            for name in names
        ],
        "settings": {
            "debug.openDebug": "neverOpen"
        }
    }

    # Work space name is same as path
    workspace_name = root.replace('/', '_').replace('\\', '_')
    workspace_name += '.code-workspace'

    # Save workspace
    with open(path.join(root, workspace_name), 'w') as f:
        dump(workspace, f, indent=4)


# Make all the workspaces
roots = (
    path.join('sets', 'ev3', 'education_core'),
    path.join('sets', 'ev3', 'education_expansion'),
    path.join('sets', 'ev3', 'home'),
    path.join('sets', 'ev3', 'home_bonus'),
)

for root in roots:
    make_workspace(root)