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

Avoid duplicate user prefix in container names

Browse Source
This commit is contained in:
mpabi
2026-05-11 23:24:20 +02:00
parent 7e50f63dea
commit 3db500390f
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
rvctl.py
+1 -2
View File
@@ -3373,10 +3373,9 @@ def build_container_command(
home_dir = Path(os.environ.get("HOME") or str(Path.home())) home_dir = Path(os.environ.get("HOME") or str(Path.home()))
card_path_text = str(card_path) card_path_text = str(card_path)
user_name = current_user_slug()
session_slug = slug_value(session_name, "tmux session name") session_slug = slug_value(session_name, "tmux session name")
instance_name = slug_value(instance, "container instance") instance_name = slug_value(instance, "container instance")
container_name_parts = [user_name, session_slug] container_name_parts = [session_slug]
if profile not in session_slug.split("-"): if profile not in session_slug.split("-"):
container_name_parts.append(profile) container_name_parts.append(profile)
container_name_parts.append(instance_name) container_name_parts.append(instance_name)