Update API.

dead-hosts · Mar 25, 2024 · bb0955f · bb0955f
1 parent b99fb6c
commit bb0955f
Show file tree

Hide file tree

Showing 2 changed files with 241 additions and 117 deletions.
diff --git a/dead_hosts/launcher/info_manager.py b/dead_hosts/launcher/info_manager.py
@@ -141,6 +141,7 @@ def clean(self) -> "InfoManager":
  "last_test",
  "list_name",
  "stable",
+ "platform_shortname",
  ]:
  if index in self.content:
  del self.content[index]
@@ -175,7 +176,7 @@ def create_missing_index(self) -> "InfoManager":
  "name": dead_hosts.launcher.defaults.paths.GIT_BASE_NAME,
  "repo": f"{dead_hosts.launcher.defaults.paths.GIT_REPO_OWNER}/"
  f"{dead_hosts.launcher.defaults.paths.GIT_BASE_NAME}",
- "platform_shortname": (
+ "platform_container_name": (
  dead_hosts.launcher.defaults.paths.GIT_BASE_NAME.lower()
  .replace(" ", "-")
  .replace("[", "")
@@ -394,7 +395,7 @@ def update(self) -> "InfoManager": # pylint: disable=too-many-statements
  f"{dead_hosts.launcher.defaults.paths.GIT_BASE_NAME}"
  )
 
- self.content["platform_shortname"] = (
+ self.content["platform_container_name"] = (
  self.content["name"]
  .lower()
  .replace(" ", "-")