edu/stem-launcher
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Pad host profile in runtime names

Browse Source
This commit is contained in:
mpabi
2026-05-11 23:49:02 +02:00
parent db093feec8
commit 9c0b833371
1 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
rvctl.py
+7 -1
View File
@@ -3366,9 +3366,15 @@ def runtime_name_slug(raw_value: str, field_name: str) -> str:
return slug return slug
def display_profile_slug(profile: str) -> str:
if profile == "host":
return "_host"
return profile
def runtime_name(user_name: str, profile: str, selector: str, window_name: str) -> str: def runtime_name(user_name: str, profile: str, selector: str, window_name: str) -> str:
selector_parts = selector.split("/") selector_parts = selector.split("/")
name_parts = [display_user_slug(user_name), profile] name_parts = [display_user_slug(user_name), display_profile_slug(profile)]
name_parts.extend(runtime_name_slug(part, "card selector") for part in selector_parts) name_parts.extend(runtime_name_slug(part, "card selector") for part in selector_parts)
name_parts.append(runtime_name_slug(window_name, "tmux window name")) name_parts.append(runtime_name_slug(window_name, "tmux window name"))
return "_".join(name_parts) return "_".join(name_parts)