instances management #17
Description
A workspace instance is characterised (at this point) by:
- a directory containing sources,
- a directory containing workspace configuration.
- a UID attached to the agent process
- a name attached to the agent process
The list of instances is saved by the cli in a specific file (let's say instance.json, but it's an implementation detail) in the storage directory of the cli (see --storage and KORTEX_CLI_STORAGE).
Multiple workspaces can exist for a given sources directory. The UID will be the unique identifier for a workspace and is created by the CLI. Names are also unique across all workspaces, it can be given by the user or created by the CLI (based on sources directory).
The init command of the CLI is used to register a workspace
The list command of the CLI is used to list the registered workspaces (using UID or name).
The remove command of the CLI is used to unregister a workspace (using UID or name).
Any CLI command dealing with workspaces must run a prior reconciliation before to make its job:
- if the sources directory OR the configuration directory is not accessible => the workspaces are unregistered
- (other cases?)