Skip to content

Keep track of known workspaces

Christian Dreher requested to merge feature/known_workspaces into main

This will keep track of all created workspaces in $XDG_CONFIG_HOME/armarx-setup/known_workspaces.json. At the moment it is just a mapping from a user-given project name to a path:

{
  "test2": {
    "path": "/home/chris/tmp/test2"
  }
}

The name of the project will be queried when init'ing a workspace:

Initialize a new workspace.

Specify the workspace.
Enter the workspace name (leave empty for 'test2'): 
Enter the workspace directory (leave empty for '/home/chris/tmp/test2'):

Defaults for the workspace name will be derived from the last folder name (test2 in this case).

This feature will enable other features, for example that we will be able to switch the current workspace easily with the armarx-setup script itself, or similar.

Merge request reports