diff --git a/update_workspaces.py b/update_workspaces.py index 7fb8fc8..782bb63 100755 --- a/update_workspaces.py +++ b/update_workspaces.py @@ -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 = {