Removed the command.

dem/cli/main.py

@@ -6,7 +6,7 @@
 from typing_extensions import Annotated
 import os
 from dem import __command__, __app_name__
-from dem.cli.command import cp_cmd, info_cmd, list_cmd, pull_cmd, create_cmd, modify_cmd, delete_cmd, \
+from dem.cli.command import cp_cmd, info_cmd, list_cmd, create_cmd, modify_cmd, delete_cmd, \
                             rename_cmd, run_cmd, export_cmd, load_cmd, clone_cmd, add_reg_cmd, \
                             list_reg_cmd, del_reg_cmd, add_cat_cmd, list_cat_cmd, del_cat_cmd, \
                             add_host_cmd, uninstall_cmd, install_cmd, assign_cmd, init_cmd, \
@@ -112,17 +112,6 @@ def info(dev_env_name: Annotated[str, typer.Argument(help="Name of the Developme
     else:
         raise InternalError("Error: The platform hasn't been initialized properly!")
 
-@typer_cli.command()
-def pull(dev_env_name: Annotated[str, typer.Argument(help="Name of the Development Environment to install.")]) -> None:
-    """
-    Pull all the required tool images from the registry and install the Development Environment
-    locally.
-    """
-    if platform:
-        pull_cmd.execute(platform, dev_env_name)
-    else:
-        raise InternalError("Error: The platform hasn't been initialized properly!")
-
 @typer_cli.command()
 def cp(dev_env_name: Annotated[str, typer.Argument(help="Name of the Development Environment to cp.",
                                                    autocompletion=autocomplete_dev_env_name)],

docs/commands.md

@@ -36,22 +36,6 @@ Arguments:
 
 ---
 
-## **`dem pull DEV_ENV_NAME`**
-
-Pull all the required containerized tools (which are not yet available on the host PC) from the
-registry and install the Development Environment locally.
-
-    If a Development Environment with the same name, but a different description has been already
-    available on the host PC, it gets overwritten with the new one.
-    If the same Development Environment is already installed, but the installation is not complete,
-    the missing tool images are obtained from the registry.
-
-Arguments:
-
-`DEV_ENV_NAME` Name of the Development Environment to install. [required]
-
----
-
 ## **`dem create DEV_ENV_NAME`**
 
 Create a new Development Environment.
@@ -77,7 +61,7 @@ Arguments:
 
 ---
 
-## **`dem clone DEV_ENV_NAME`
+## **`dem clone DEV_ENV_NAME`**
 
 Clone a Development Environment descriptor from the catalogs. 
 

tests/cli/test_clone_cmd.py

@@ -1,5 +1,5 @@
 """Tests for the clone CLI command."""
-# tests/cli/test_pull_cmd.py
+# tests/cli/test_clone_cmd.py
 
 # Unit under test:
 import dem.cli.main as main

tests/cli/test_main.py

@@ -165,7 +165,6 @@ def test_platform_not_initialized() -> None:
     units_to_test = {
         main.list_: [],
         main.info: [test_dev_env_name],
-        main.pull: [test_dev_env_name],
         main.cp: [test_dev_env_name, test_dev_env_name],
         main.create: [test_dev_env_name],
         main.export: [test_dev_env_name],