workspaces: update script to sort alphabetically

2026-09-14 10:33:09 +00:00 · 2020-04-28 15:18:31 +02:00
parent df83ea583e
commit c8bf8f4bbc
1 changed files with 1 additions and 0 deletions
@@ -7,6 +7,7 @@ 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 = {