Allow specifying the workspace name

armarx_setup/cli/ci/commands.py

@@ -24,6 +24,8 @@ def ci_workspace():
               help="Name of the CI module.")
 @click.option("--ci-module-path",
               help='Path of the already existing CI module, e.g. "${CI_PROJECT_DIR}".')
+@click.option("--workspace-name", default="ci_workspace",
+              help="Name of the created workspace. Can be used afterwards to activate the workspace.")
 @click.option("--workspace-config-path", default=None,
               help="Use the given workspace configuration file.")
 @click.option("--with-module", multiple=True,

armarx_setup/cli/ci/integration.py

@@ -11,6 +11,7 @@ from armarx_setup.cli import common
 def ci_workspace_create(
         ci_module_name: str,
         ci_module_path: str,
+        workspace_name: str,
         workspace_config_path: ty.Optional[str],
         with_modules: ty.Tuple[str],
         ccache: bool = False
@@ -19,7 +20,6 @@ def ci_workspace_create(
 
     from armarx_setup.cli.workspace.integration import create_workspace
 
-    workspace_name = "ci_workspace"
     workspace_path = os.path.join(os.path.expanduser("~"), workspace_name)
 
     # Create workspace.