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

Use concise rvctl tmux and container names

Browse Source
This commit is contained in:
mpabi
2026-05-11 23:27:50 +02:00
parent 3db500390f
commit a426c54cab
1 changed files with 5 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files
rvctl.py
+5 -7
View File
@@ -3373,12 +3373,10 @@ 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)
session_slug = slug_value(session_name, "tmux session name") selector_slug = slug_value(selector.replace("/", "-"), "card selector")
instance_name = slug_value(instance, "container instance") window_slug = slug_value(window_name, "tmux window name")
container_name_parts = [session_slug] user_name = current_user_slug()
if profile not in session_slug.split("-"): container_name_parts = [selector_slug, window_slug, profile, user_name]
container_name_parts.append(profile)
container_name_parts.append(instance_name)
container_name = "-".join(container_name_parts) container_name = "-".join(container_name_parts)
env_parts = [ env_parts = [
f"WORKSPACE_ROOT={shlex.quote(str(config.workspace_root))}", f"WORKSPACE_ROOT={shlex.quote(str(config.workspace_root))}",
@@ -3442,7 +3440,7 @@ def run_tmux_container(config: WorkspaceConfig, args: argparse.Namespace) -> Non
profile = normalize_env_profile(args.profile) profile = normalize_env_profile(args.profile)
user_name = current_user_slug() user_name = current_user_slug()
default_session_name = f"rv-{user_name}-{slug_value(selector.replace('/', '-'), 'card selector')}-{profile}" default_session_name = f"rvctl-{user_name}-{slug_value(selector.replace('/', '-'), 'card selector')}-{profile}"
session_name = args.session or default_session_name session_name = args.session or default_session_name
window_name = args.window or config.defaults.get("tmux_window", "rv") window_name = args.window or config.defaults.get("tmux_window", "rv")
instance = args.instance or config.defaults.get("instance", "shell") instance = args.instance or config.defaults.get("instance", "shell")