@prover-coder-ai/docker-git 1.0.12 → 1.0.14

package/dist/src/docker-git/menu-render-select.js

@@ -0,0 +1,93 @@
+import { Match } from "effect";
+import { Text } from "ink";
+const formatRepoRef = (repoRef) => {
+    const trimmed = repoRef.trim();
+    const prPrefix = "refs/pull/";
+    if (trimmed.startsWith(prPrefix)) {
+        const rest = trimmed.slice(prPrefix.length);
+        const number = rest.split("/")[0] ?? rest;
+        return `PR#${number}`;
+    }
+    return trimmed.length > 0 ? trimmed : "main";
+};
+const stoppedRuntime = () => ({ running: false, sshSessions: 0 });
+const runtimeForProject = (runtimeByProject, item) => runtimeByProject[item.projectDir] ?? stoppedRuntime();
+const renderRuntimeLabel = (runtime) => `${runtime.running ? "running" : "stopped"}, ssh=${runtime.sshSessions}`;
+export const selectTitle = (purpose) => Match.value(purpose).pipe(Match.when("Connect", () => "docker-git / Select project"), Match.when("Down", () => "docker-git / Stop container"), Match.when("Info", () => "docker-git / Show connection info"), Match.when("Delete", () => "docker-git / Delete project"), Match.exhaustive);
+export const selectHint = (purpose, connectEnableMcpPlaywright) => Match.value(purpose).pipe(Match.when("Connect", () => `Enter = select + SSH, P = toggle Playwright MCP (${connectEnableMcpPlaywright ? "on" : "off"}), Esc = back`), Match.when("Down", () => "Enter = stop container, Esc = back"), Match.when("Info", () => "Use arrows to browse details, Enter = set active, Esc = back"), Match.when("Delete", () => "Enter = ask/confirm delete, Esc = cancel"), Match.exhaustive);
+export const buildSelectLabels = (items, selected, purpose, runtimeByProject) => items.map((item, index) => {
+    const prefix = index === selected ? ">" : " ";
+    const refLabel = formatRepoRef(item.repoRef);
+    const runtimeSuffix = purpose === "Down" || purpose === "Delete"
+        ? ` [${renderRuntimeLabel(runtimeForProject(runtimeByProject, item))}]`
+        : "";
+    return `${prefix} ${index + 1}. ${item.displayName} (${refLabel})${runtimeSuffix}`;
+});
+const buildDetailsContext = (item, runtimeByProject) => {
+    const runtime = runtimeForProject(runtimeByProject, item);
+    return {
+        item,
+        refLabel: formatRepoRef(item.repoRef),
+        authSuffix: item.authorizedKeysExists ? "" : " (missing)",
+        runtime,
+        sshSessionsLabel: runtime.sshSessions === 1
+            ? "1 active SSH session"
+            : `${runtime.sshSessions} active SSH sessions`
+    };
+};
+const titleRow = (el, value) => el(Text, { color: "cyan", bold: true, wrap: "truncate" }, value);
+const commonRows = (el, context) => [
+    el(Text, { wrap: "wrap" }, `Project directory: ${context.item.projectDir}`),
+    el(Text, { wrap: "wrap" }, `Container: ${context.item.containerName}`),
+    el(Text, { wrap: "wrap" }, `State: ${context.runtime.running ? "running" : "stopped"}`),
+    el(Text, { wrap: "wrap" }, `SSH sessions now: ${context.sshSessionsLabel}`)
+];
+const renderInfoDetails = (el, context, common) => [
+    titleRow(el, "Connection info"),
+    ...common,
+    el(Text, { wrap: "wrap" }, `Service: ${context.item.serviceName}`),
+    el(Text, { wrap: "wrap" }, `SSH command: ${context.item.sshCommand}`),
+    el(Text, { wrap: "wrap" }, `Repo: ${context.item.repoUrl} (${context.refLabel})`),
+    el(Text, { wrap: "wrap" }, `Workspace: ${context.item.targetDir}`),
+    el(Text, { wrap: "wrap" }, `Authorized keys: ${context.item.authorizedKeysPath}${context.authSuffix}`),
+    el(Text, { wrap: "wrap" }, `Env global: ${context.item.envGlobalPath}`),
+    el(Text, { wrap: "wrap" }, `Env project: ${context.item.envProjectPath}`),
+    el(Text, { wrap: "wrap" }, `Codex auth: ${context.item.codexAuthPath} -> ${context.item.codexHome}`)
+];
+const renderDefaultDetails = (el, context) => [
+    titleRow(el, "Details"),
+    el(Text, { wrap: "truncate" }, `Repo: ${context.item.repoUrl}`),
+    el(Text, { wrap: "truncate" }, `Ref: ${context.item.repoRef}`),
+    el(Text, { wrap: "truncate" }, `Project dir: ${context.item.projectDir}`),
+    el(Text, { wrap: "truncate" }, `Workspace: ${context.item.targetDir}`),
+    el(Text, { wrap: "truncate" }, `SSH: ${context.item.sshCommand}`)
+];
+const renderConnectDetails = (el, context, common, connectEnableMcpPlaywright) => [
+    titleRow(el, "Connect + SSH"),
+    ...common,
+    el(Text, { color: connectEnableMcpPlaywright ? "green" : "gray", wrap: "wrap" }, connectEnableMcpPlaywright
+        ? "Playwright MCP: will be enabled before SSH (P to disable)."
+        : "Playwright MCP: keep current project setting (P to enable before SSH)."),
+    el(Text, { wrap: "wrap" }, `Repo: ${context.item.repoUrl} (${context.refLabel})`),
+    el(Text, { wrap: "wrap" }, `SSH command: ${context.item.sshCommand}`)
+];
+export const renderSelectDetails = (el, purpose, item, runtimeByProject, connectEnableMcpPlaywright) => {
+    if (!item) {
+        return [el(Text, { color: "gray", wrap: "truncate" }, "No project selected.")];
+    }
+    const context = buildDetailsContext(item, runtimeByProject);
+    const common = commonRows(el, context);
+    return Match.value(purpose).pipe(Match.when("Connect", () => renderConnectDetails(el, context, common, connectEnableMcpPlaywright)), Match.when("Info", () => renderInfoDetails(el, context, common)), Match.when("Down", () => [
+        titleRow(el, "Stop container"),
+        ...common,
+        el(Text, { wrap: "wrap" }, `Repo: ${context.item.repoUrl} (${context.refLabel})`)
+    ]), Match.when("Delete", () => [
+        titleRow(el, "Delete project"),
+        ...common,
+        context.runtime.sshSessions > 0
+            ? el(Text, { color: "yellow", wrap: "wrap" }, "Warning: project has active SSH sessions.")
+            : el(Text, { color: "gray", wrap: "wrap" }, "No active SSH sessions detected."),
+        el(Text, { wrap: "wrap" }, `Repo: ${context.item.repoUrl} (${context.refLabel})`),
+        el(Text, { wrap: "wrap" }, "Removes the project folder (no git history rewrite).")
+    ]), Match.orElse(() => renderDefaultDetails(el, context)));
+};

package/dist/src/docker-git/menu-render.js

@@ -1,6 +1,7 @@
 import { Match } from "effect";
 import { Box, Text } from "ink";
 import React from "react";
+import { buildSelectLabels, renderSelectDetails, selectHint, selectTitle } from "./menu-render-select.js";
 import { createSteps, menuItems } from "./menu-types.js";
 // CHANGE: render menu views with Ink without JSX
 // WHY: keep UI logic separate from input/state reducers
@@ -67,56 +68,6 @@ export const renderCreate = (label, buffer, message, stepIndex, defaults) => {
         el(Box, { marginTop: 1 }, el(Text, { color: "gray" }, "Enter = next, Esc = cancel."))
     ], message);
 };
-const formatRepoRef = (repoRef) => {
-    const trimmed = repoRef.trim();
-    const prPrefix = "refs/pull/";
-    if (trimmed.startsWith(prPrefix)) {
-        const rest = trimmed.slice(prPrefix.length);
-        const number = rest.split("/")[0] ?? rest;
-        return `PR#${number}`;
-    }
-    return trimmed.length > 0 ? trimmed : "main";
-};
-const renderSelectDetails = (el, purpose, item) => {
-    if (!item) {
-        return [el(Text, { color: "gray", wrap: "truncate" }, "No project selected.")];
-    }
-    const refLabel = formatRepoRef(item.repoRef);
-    const authSuffix = item.authorizedKeysExists ? "" : " (missing)";
-    return Match.value(purpose).pipe(Match.when("Info", () => [
-        el(Text, { color: "cyan", bold: true, wrap: "truncate" }, "Connection info"),
-        el(Text, { wrap: "wrap" }, `Project directory: ${item.projectDir}`),
-        el(Text, { wrap: "wrap" }, `Container: ${item.containerName}`),
-        el(Text, { wrap: "wrap" }, `Service: ${item.serviceName}`),
-        el(Text, { wrap: "wrap" }, `SSH command: ${item.sshCommand}`),
-        el(Text, { wrap: "wrap" }, `Repo: ${item.repoUrl} (${refLabel})`),
-        el(Text, { wrap: "wrap" }, `Workspace: ${item.targetDir}`),
-        el(Text, { wrap: "wrap" }, `Authorized keys: ${item.authorizedKeysPath}${authSuffix}`),
-        el(Text, { wrap: "wrap" }, `Env global: ${item.envGlobalPath}`),
-        el(Text, { wrap: "wrap" }, `Env project: ${item.envProjectPath}`),
-        el(Text, { wrap: "wrap" }, `Codex auth: ${item.codexAuthPath} -> ${item.codexHome}`)
-    ]), Match.when("Delete", () => [
-        el(Text, { color: "cyan", bold: true, wrap: "truncate" }, "Delete project"),
-        el(Text, { wrap: "wrap" }, `Project directory: ${item.projectDir}`),
-        el(Text, { wrap: "wrap" }, `Container: ${item.containerName}`),
-        el(Text, { wrap: "wrap" }, `Repo: ${item.repoUrl} (${refLabel})`),
-        el(Text, { wrap: "wrap" }, "Removes the project folder (no git history rewrite).")
-    ]), Match.orElse(() => [
-        el(Text, { color: "cyan", bold: true, wrap: "truncate" }, "Details"),
-        el(Text, { wrap: "truncate" }, `Repo: ${item.repoUrl}`),
-        el(Text, { wrap: "truncate" }, `Ref: ${item.repoRef}`),
-        el(Text, { wrap: "truncate" }, `Project dir: ${item.projectDir}`),
-        el(Text, { wrap: "truncate" }, `Workspace: ${item.targetDir}`),
-        el(Text, { wrap: "truncate" }, `SSH: ${item.sshCommand}`)
-    ]));
-};
-const selectTitle = (purpose) => Match.value(purpose).pipe(Match.when("Connect", () => "docker-git / Select project"), Match.when("Down", () => "docker-git / Stop container"), Match.when("Info", () => "docker-git / Show connection info"), Match.when("Delete", () => "docker-git / Delete project"), Match.exhaustive);
-const selectHint = (purpose) => Match.value(purpose).pipe(Match.when("Connect", () => "Enter = select + SSH, Esc = back"), Match.when("Down", () => "Enter = stop container, Esc = back"), Match.when("Info", () => "Use arrows to browse details, Enter = set active, Esc = back"), Match.when("Delete", () => "Enter = ask/confirm delete, Esc = cancel"), Match.exhaustive);
-const buildSelectLabels = (items, selected) => items.map((item, index) => {
-    const prefix = index === selected ? ">" : " ";
-    const refLabel = formatRepoRef(item.repoRef);
-    return `${prefix} ${index + 1}. ${item.displayName} (${refLabel})`;
-});
 const computeListWidth = (labels) => {
     const maxLabelWidth = labels.length > 0 ? Math.max(...labels.map((label) => label.length)) : 24;
     return Math.min(Math.max(maxLabelWidth + 2, 28), 54);
@@ -129,21 +80,34 @@ const renderSelectListBox = (el, items, selected, labels, width) => {
     }, label));
     return el(Box, { flexDirection: "column", width }, ...(list.length > 0 ? list : [el(Text, { color: "gray" }, "No projects found.")]));
 };
-const renderSelectDetailsBox = (el, purpose, items, selected) => {
-    const details = renderSelectDetails(el, purpose, items[selected]);
+const renderSelectDetailsBox = (el, input) => {
+    const details = renderSelectDetails(el, input.purpose, input.items[input.selected], input.runtimeByProject, input.connectEnableMcpPlaywright);
     return el(Box, { flexDirection: "column", marginLeft: 2, flexGrow: 1 }, ...details);
 };
-export const renderSelect = (purpose, items, selected, confirmDelete, message) => {
+export const renderSelect = (input) => {
+    const { confirmDelete, connectEnableMcpPlaywright, items, message, purpose, runtimeByProject, selected } = input;
     const el = React.createElement;
-    const listLabels = buildSelectLabels(items, selected);
+    const listLabels = buildSelectLabels(items, selected, purpose, runtimeByProject);
     const listWidth = computeListWidth(listLabels);
     const listBox = renderSelectListBox(el, items, selected, listLabels, listWidth);
-    const detailsBox = renderSelectDetailsBox(el, purpose, items, selected);
-    const baseHint = selectHint(purpose);
-    const deleteHint = purpose === "Delete" && confirmDelete
-        ? "Confirm mode: Enter = delete now, Esc = cancel"
-        : baseHint;
-    const hints = el(Box, { marginTop: 1 }, el(Text, { color: "gray" }, deleteHint));
+    const detailsBox = renderSelectDetailsBox(el, {
+        purpose,
+        items,
+        selected,
+        runtimeByProject,
+        connectEnableMcpPlaywright
+    });
+    const baseHint = selectHint(purpose, connectEnableMcpPlaywright);
+    const confirmHint = (() => {
+        if (purpose === "Delete" && confirmDelete) {
+            return "Confirm mode: Enter = delete now, Esc = cancel";
+        }
+        if (purpose === "Down" && confirmDelete) {
+            return "Confirm mode: Enter = stop now, Esc = cancel";
+        }
+        return baseHint;
+    })();
+    const hints = el(Box, { marginTop: 1 }, el(Text, { color: "gray" }, confirmHint));
     return renderLayout(selectTitle(purpose), [
         el(Box, { flexDirection: "row", marginTop: 1 }, listBox, detailsBox),
         hints

package/dist/src/docker-git/menu-select-connect.js

@@ -0,0 +1,6 @@
+import { Effect } from "effect";
+const normalizedInput = (input) => input.trim().toLowerCase();
+export const isConnectMcpToggleInput = (input) => normalizedInput(input) === "p";
+export const buildConnectEffect = (selected, enableMcpPlaywright, deps) => enableMcpPlaywright
+    ? deps.enableMcpPlaywright(selected.projectDir).pipe(Effect.zipRight(deps.connectWithUp(selected)))
+    : deps.connectWithUp(selected);

package/dist/src/docker-git/menu-select-runtime.js

@@ -0,0 +1,50 @@
+import { runCommandCapture } from "@effect-template/lib/shell/command-runner";
+import { runDockerPsNames } from "@effect-template/lib/shell/docker";
+import { Effect, pipe } from "effect";
+const emptyRuntimeByProject = () => ({});
+const stoppedRuntime = () => ({ running: false, sshSessions: 0 });
+const countSshSessionsScript = "who -u 2>/dev/null | wc -l | tr -d '[:space:]'";
+const parseSshSessionCount = (raw) => {
+    const parsed = Number.parseInt(raw.trim(), 10);
+    if (Number.isNaN(parsed) || parsed < 0) {
+        return 0;
+    }
+    return parsed;
+};
+const toRuntimeMap = (entries) => {
+    const runtimeByProject = {};
+    for (const [projectDir, runtime] of entries) {
+        runtimeByProject[projectDir] = runtime;
+    }
+    return runtimeByProject;
+};
+const countContainerSshSessions = (containerName) => pipe(runCommandCapture({
+    cwd: process.cwd(),
+    command: "docker",
+    args: ["exec", containerName, "bash", "-lc", countSshSessionsScript]
+}, [0], (exitCode) => ({ _tag: "CommandFailedError", command: "docker exec who -u", exitCode })), Effect.match({
+    onFailure: () => 0,
+    onSuccess: (raw) => parseSshSessionCount(raw)
+}));
+// CHANGE: enrich select items with runtime state and SSH session counts
+// WHY: prevent stopping/deleting containers that are currently used via SSH
+// QUOTE(ТЗ): "писать скок SSH подключений к контейнеру сейчас"
+// REF: issue-47
+// SOURCE: n/a
+// FORMAT THEOREM: forall p: runtime(p) -> {running(p), ssh_sessions(p)}
+// PURITY: SHELL
+// EFFECT: Effect<Record<string, SelectProjectRuntime>, never, MenuEnv>
+// INVARIANT: stopped containers always have sshSessions = 0
+// COMPLEXITY: O(n + docker_ps + docker_exec)
+export const loadRuntimeByProject = (items) => pipe(runDockerPsNames(process.cwd()), Effect.flatMap((runningNames) => Effect.forEach(items, (item) => {
+    const running = runningNames.includes(item.containerName);
+    if (!running) {
+        const entry = [item.projectDir, stoppedRuntime()];
+        return Effect.succeed(entry);
+    }
+    return pipe(countContainerSshSessions(item.containerName), Effect.map((sshSessions) => ({ running: true, sshSessions })), Effect.map((runtime) => [item.projectDir, runtime]));
+}, { concurrency: 4 })), Effect.map((entries) => toRuntimeMap(entries)), Effect.match({
+    onFailure: () => emptyRuntimeByProject(),
+    onSuccess: (runtimeByProject) => runtimeByProject
+}));
+export const runtimeForSelection = (view, selected) => view.runtimeByProject[selected.projectDir] ?? stoppedRuntime();

package/dist/src/docker-git/menu-select.js

@@ -1,10 +1,22 @@
 import { runDockerComposeDown } from "@effect-template/lib/shell/docker";
+import { mcpPlaywrightUp } from "@effect-template/lib/usecases/mcp-playwright";
 import { connectProjectSshWithUp, deleteDockerGitProject, listRunningProjectItems } from "@effect-template/lib/usecases/projects";
 import { Effect, Match, pipe } from "effect";
+import { buildConnectEffect, isConnectMcpToggleInput } from "./menu-select-connect.js";
+import { loadRuntimeByProject, runtimeForSelection } from "./menu-select-runtime.js";
 import { resetToMenu, resumeTui, suspendTui } from "./menu-shared.js";
-export const startSelectView = (items, purpose, context) => {
+const emptyRuntimeByProject = () => ({});
+export const startSelectView = (items, purpose, context, runtimeByProject = emptyRuntimeByProject()) => {
     context.setMessage(null);
-    context.setView({ _tag: "SelectProject", purpose, items, selected: 0, confirmDelete: false });
+    context.setView({
+        _tag: "SelectProject",
+        purpose,
+        items,
+        runtimeByProject,
+        selected: 0,
+        confirmDelete: false,
+        connectEnableMcpPlaywright: false
+    });
 };
 const clampIndex = (value, size) => {
     if (size <= 0) {
@@ -23,6 +35,9 @@ export const handleSelectInput = (input, key, view, context) => {
         resetToMenu(context);
         return;
     }
+    if (handleConnectOptionToggle(input, view, context)) {
+        return;
+    }
     if (handleSelectNavigation(key, view, context)) {
         return;
     }
@@ -30,7 +45,20 @@ export const handleSelectInput = (input, key, view, context) => {
         handleSelectReturn(view, context);
         return;
     }
-    handleSelectHint(input, context);
+    if (input.trim().length > 0) {
+        context.setMessage("Use arrows + Enter to select a project, Esc to cancel.");
+    }
+};
+const handleConnectOptionToggle = (input, view, context) => {
+    if (view.purpose !== "Connect" || !isConnectMcpToggleInput(input)) {
+        return false;
+    }
+    const nextValue = !view.connectEnableMcpPlaywright;
+    context.setView({ ...view, connectEnableMcpPlaywright: nextValue, confirmDelete: false });
+    context.setMessage(nextValue
+        ? "Playwright MCP will be enabled before SSH (press Enter to connect)."
+        : "Playwright MCP toggle is OFF (press Enter to connect without changes).");
+    return true;
 };
 const handleSelectNavigation = (key, view, context) => {
     if (key.upArrow) {
@@ -54,22 +82,27 @@ const runWithSuspendedTui = (context, effect, onResume, doneMessage) => {
         context.setMessage(doneMessage);
     }))));
 };
-const runConnectSelection = (selected, context) => {
-    context.setMessage(`Connecting to ${selected.displayName}...`);
+const runConnectSelection = (selected, context, enableMcpPlaywright) => {
+    context.setMessage(enableMcpPlaywright
+        ? `Enabling Playwright MCP for ${selected.displayName}, then connecting...`
+        : `Connecting to ${selected.displayName}...`);
     context.setSshActive(true);
-    runWithSuspendedTui(context, connectProjectSshWithUp(selected), () => {
+    runWithSuspendedTui(context, buildConnectEffect(selected, enableMcpPlaywright, {
+        connectWithUp: (item) => connectProjectSshWithUp(item).pipe(Effect.mapError((error) => error)),
+        enableMcpPlaywright: (projectDir) => mcpPlaywrightUp({ _tag: "McpPlaywrightUp", projectDir, runUp: false }).pipe(Effect.asVoid, Effect.mapError((error) => error))
+    }), () => {
         context.setSshActive(false);
     }, "SSH session ended. Press Esc to return to the menu.");
 };
 const runDownSelection = (selected, context) => {
     context.setMessage(`Stopping ${selected.displayName}...`);
-    context.runner.runEffect(pipe(Effect.sync(suspendTui), Effect.zipRight(runDockerComposeDown(selected.projectDir)), Effect.zipRight(listRunningProjectItems), Effect.tap((items) => Effect.sync(() => {
+    context.runner.runEffect(pipe(Effect.sync(suspendTui), Effect.zipRight(runDockerComposeDown(selected.projectDir)), Effect.zipRight(listRunningProjectItems), Effect.flatMap((items) => pipe(loadRuntimeByProject(items), Effect.map((runtimeByProject) => ({ items, runtimeByProject })))), Effect.tap(({ items, runtimeByProject }) => Effect.sync(() => {
         if (items.length === 0) {
             resetToMenu(context);
             context.setMessage("No running docker-git containers.");
             return;
         }
-        startSelectView(items, "Down", context);
+        startSelectView(items, "Down", context, runtimeByProject);
         context.setMessage("Container stopped. Select another to stop, or Esc to return.");
     })), Effect.ensuring(Effect.sync(() => {
         resumeTui();
@@ -97,10 +130,19 @@ const handleSelectReturn = (view, context) => {
         resetToMenu(context);
         return;
     }
+    const selectedRuntime = runtimeForSelection(view, selected);
+    const sshSessionsLabel = selectedRuntime.sshSessions === 1
+        ? "1 active SSH session"
+        : `${selectedRuntime.sshSessions} active SSH sessions`;
     Match.value(view.purpose).pipe(Match.when("Connect", () => {
         context.setActiveDir(selected.projectDir);
-        runConnectSelection(selected, context);
+        runConnectSelection(selected, context, view.connectEnableMcpPlaywright);
     }), Match.when("Down", () => {
+        if (selectedRuntime.sshSessions > 0 && !view.confirmDelete) {
+            context.setMessage(`${selected.containerName} has ${sshSessionsLabel}. Press Enter again to stop, Esc to cancel.`);
+            context.setView({ ...view, confirmDelete: true });
+            return;
+        }
         context.setActiveDir(selected.projectDir);
         runDownSelection(selected, context);
     }), Match.when("Info", () => {
@@ -108,24 +150,20 @@ const handleSelectReturn = (view, context) => {
         runInfoSelection(selected, context);
     }), Match.when("Delete", () => {
         if (!view.confirmDelete) {
-            context.setMessage(`Really delete ${selected.displayName}? Press Enter again to confirm, Esc to cancel.`);
+            const activeSshWarning = selectedRuntime.sshSessions > 0 ? ` ${sshSessionsLabel}.` : "";
+            context.setMessage(`Really delete ${selected.displayName}?${activeSshWarning} Press Enter again to confirm, Esc to cancel.`);
             context.setView({ ...view, confirmDelete: true });
             return;
         }
         runDeleteSelection(selected, context);
     }), Match.exhaustive);
 };
-const handleSelectHint = (input, context) => {
-    if (input.trim().length > 0) {
-        context.setMessage("Use arrows + Enter to select a project, Esc to cancel.");
-    }
-};
-export const loadSelectView = (effect, purpose, context) => pipe(effect, Effect.flatMap((items) => Effect.sync(() => {
+export const loadSelectView = (effect, purpose, context) => pipe(effect, Effect.flatMap((items) => pipe(loadRuntimeByProject(items), Effect.flatMap((runtimeByProject) => Effect.sync(() => {
     if (items.length === 0) {
         context.setMessage(purpose === "Down"
             ? "No running docker-git containers."
             : "No docker-git projects found.");
         return;
     }
-    startSelectView(items, purpose, context);
-})));
+    startSelectView(items, purpose, context, runtimeByProject);
+})))));

package/dist/src/docker-git/menu.js

@@ -112,7 +112,15 @@ const renderView = (context) => {
         const label = renderStepLabel(step, currentDefaults);
         return renderCreate(label, context.view.buffer, context.message, context.view.step, currentDefaults);
     }
-    return renderSelect(context.view.purpose, context.view.items, context.view.selected, context.view.confirmDelete, context.message);
+    return renderSelect({
+        purpose: context.view.purpose,
+        items: context.view.items,
+        selected: context.view.selected,
+        runtimeByProject: context.view.runtimeByProject,
+        confirmDelete: context.view.confirmDelete,
+        connectEnableMcpPlaywright: context.view.connectEnableMcpPlaywright,
+        message: context.message
+    });
 };
 const useMenuState = () => {
     const [activeDir, setActiveDir] = useState(null);

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@prover-coder-ai/docker-git",
-  "version": "1.0.12",
+  "version": "1.0.14",
   "description": "Minimal Vite-powered TypeScript console starter using Effect",
   "main": "dist/src/docker-git/main.js",
   "bin": {

package/src/docker-git/menu-render-select.ts

@@ -0,0 +1,187 @@
+import { Match } from "effect"
+import { Text } from "ink"
+import type React from "react"
+
+import type { ProjectItem } from "@effect-template/lib/usecases/projects"
+import type { SelectProjectRuntime } from "./menu-types.js"
+
+export type SelectPurpose = "Connect" | "Down" | "Info" | "Delete"
+
+const formatRepoRef = (repoRef: string): string => {
+  const trimmed = repoRef.trim()
+  const prPrefix = "refs/pull/"
+  if (trimmed.startsWith(prPrefix)) {
+    const rest = trimmed.slice(prPrefix.length)
+    const number = rest.split("/")[0] ?? rest
+    return `PR#${number}`
+  }
+  return trimmed.length > 0 ? trimmed : "main"
+}
+
+const stoppedRuntime = (): SelectProjectRuntime => ({ running: false, sshSessions: 0 })
+
+const runtimeForProject = (
+  runtimeByProject: Readonly<Record<string, SelectProjectRuntime>>,
+  item: ProjectItem
+): SelectProjectRuntime => runtimeByProject[item.projectDir] ?? stoppedRuntime()
+
+const renderRuntimeLabel = (runtime: SelectProjectRuntime): string =>
+  `${runtime.running ? "running" : "stopped"}, ssh=${runtime.sshSessions}`
+
+export const selectTitle = (purpose: SelectPurpose): string =>
+  Match.value(purpose).pipe(
+    Match.when("Connect", () => "docker-git / Select project"),
+    Match.when("Down", () => "docker-git / Stop container"),
+    Match.when("Info", () => "docker-git / Show connection info"),
+    Match.when("Delete", () => "docker-git / Delete project"),
+    Match.exhaustive
+  )
+
+export const selectHint = (
+  purpose: SelectPurpose,
+  connectEnableMcpPlaywright: boolean
+): string =>
+  Match.value(purpose).pipe(
+    Match.when(
+      "Connect",
+      () => `Enter = select + SSH, P = toggle Playwright MCP (${connectEnableMcpPlaywright ? "on" : "off"}), Esc = back`
+    ),
+    Match.when("Down", () => "Enter = stop container, Esc = back"),
+    Match.when("Info", () => "Use arrows to browse details, Enter = set active, Esc = back"),
+    Match.when("Delete", () => "Enter = ask/confirm delete, Esc = cancel"),
+    Match.exhaustive
+  )
+
+export const buildSelectLabels = (
+  items: ReadonlyArray<ProjectItem>,
+  selected: number,
+  purpose: SelectPurpose,
+  runtimeByProject: Readonly<Record<string, SelectProjectRuntime>>
+): ReadonlyArray<string> =>
+  items.map((item, index) => {
+    const prefix = index === selected ? ">" : " "
+    const refLabel = formatRepoRef(item.repoRef)
+    const runtimeSuffix = purpose === "Down" || purpose === "Delete"
+      ? ` [${renderRuntimeLabel(runtimeForProject(runtimeByProject, item))}]`
+      : ""
+    return `${prefix} ${index + 1}. ${item.displayName} (${refLabel})${runtimeSuffix}`
+  })
+
+type SelectDetailsContext = {
+  readonly item: ProjectItem
+  readonly refLabel: string
+  readonly authSuffix: string
+  readonly runtime: SelectProjectRuntime
+  readonly sshSessionsLabel: string
+}
+
+const buildDetailsContext = (
+  item: ProjectItem,
+  runtimeByProject: Readonly<Record<string, SelectProjectRuntime>>
+): SelectDetailsContext => {
+  const runtime = runtimeForProject(runtimeByProject, item)
+  return {
+    item,
+    refLabel: formatRepoRef(item.repoRef),
+    authSuffix: item.authorizedKeysExists ? "" : " (missing)",
+    runtime,
+    sshSessionsLabel: runtime.sshSessions === 1
+      ? "1 active SSH session"
+      : `${runtime.sshSessions} active SSH sessions`
+  }
+}
+
+const titleRow = (el: typeof React.createElement, value: string): React.ReactElement =>
+  el(Text, { color: "cyan", bold: true, wrap: "truncate" }, value)
+
+const commonRows = (
+  el: typeof React.createElement,
+  context: SelectDetailsContext
+): ReadonlyArray<React.ReactElement> => [
+  el(Text, { wrap: "wrap" }, `Project directory: ${context.item.projectDir}`),
+  el(Text, { wrap: "wrap" }, `Container: ${context.item.containerName}`),
+  el(Text, { wrap: "wrap" }, `State: ${context.runtime.running ? "running" : "stopped"}`),
+  el(Text, { wrap: "wrap" }, `SSH sessions now: ${context.sshSessionsLabel}`)
+]
+
+const renderInfoDetails = (
+  el: typeof React.createElement,
+  context: SelectDetailsContext,
+  common: ReadonlyArray<React.ReactElement>
+): ReadonlyArray<React.ReactElement> => [
+  titleRow(el, "Connection info"),
+  ...common,
+  el(Text, { wrap: "wrap" }, `Service: ${context.item.serviceName}`),
+  el(Text, { wrap: "wrap" }, `SSH command: ${context.item.sshCommand}`),
+  el(Text, { wrap: "wrap" }, `Repo: ${context.item.repoUrl} (${context.refLabel})`),
+  el(Text, { wrap: "wrap" }, `Workspace: ${context.item.targetDir}`),
+  el(Text, { wrap: "wrap" }, `Authorized keys: ${context.item.authorizedKeysPath}${context.authSuffix}`),
+  el(Text, { wrap: "wrap" }, `Env global: ${context.item.envGlobalPath}`),
+  el(Text, { wrap: "wrap" }, `Env project: ${context.item.envProjectPath}`),
+  el(Text, { wrap: "wrap" }, `Codex auth: ${context.item.codexAuthPath} -> ${context.item.codexHome}`)
+]
+
+const renderDefaultDetails = (
+  el: typeof React.createElement,
+  context: SelectDetailsContext
+): ReadonlyArray<React.ReactElement> => [
+  titleRow(el, "Details"),
+  el(Text, { wrap: "truncate" }, `Repo: ${context.item.repoUrl}`),
+  el(Text, { wrap: "truncate" }, `Ref: ${context.item.repoRef}`),
+  el(Text, { wrap: "truncate" }, `Project dir: ${context.item.projectDir}`),
+  el(Text, { wrap: "truncate" }, `Workspace: ${context.item.targetDir}`),
+  el(Text, { wrap: "truncate" }, `SSH: ${context.item.sshCommand}`)
+]
+
+const renderConnectDetails = (
+  el: typeof React.createElement,
+  context: SelectDetailsContext,
+  common: ReadonlyArray<React.ReactElement>,
+  connectEnableMcpPlaywright: boolean
+): ReadonlyArray<React.ReactElement> => [
+  titleRow(el, "Connect + SSH"),
+  ...common,
+  el(
+    Text,
+    { color: connectEnableMcpPlaywright ? "green" : "gray", wrap: "wrap" },
+    connectEnableMcpPlaywright
+      ? "Playwright MCP: will be enabled before SSH (P to disable)."
+      : "Playwright MCP: keep current project setting (P to enable before SSH)."
+  ),
+  el(Text, { wrap: "wrap" }, `Repo: ${context.item.repoUrl} (${context.refLabel})`),
+  el(Text, { wrap: "wrap" }, `SSH command: ${context.item.sshCommand}`)
+]
+
+export const renderSelectDetails = (
+  el: typeof React.createElement,
+  purpose: SelectPurpose,
+  item: ProjectItem | undefined,
+  runtimeByProject: Readonly<Record<string, SelectProjectRuntime>>,
+  connectEnableMcpPlaywright: boolean
+): ReadonlyArray<React.ReactElement> => {
+  if (!item) {
+    return [el(Text, { color: "gray", wrap: "truncate" }, "No project selected.")]
+  }
+  const context = buildDetailsContext(item, runtimeByProject)
+  const common = commonRows(el, context)
+
+  return Match.value(purpose).pipe(
+    Match.when("Connect", () => renderConnectDetails(el, context, common, connectEnableMcpPlaywright)),
+    Match.when("Info", () => renderInfoDetails(el, context, common)),
+    Match.when("Down", () => [
+      titleRow(el, "Stop container"),
+      ...common,
+      el(Text, { wrap: "wrap" }, `Repo: ${context.item.repoUrl} (${context.refLabel})`)
+    ]),
+    Match.when("Delete", () => [
+      titleRow(el, "Delete project"),
+      ...common,
+      context.runtime.sshSessions > 0
+        ? el(Text, { color: "yellow", wrap: "wrap" }, "Warning: project has active SSH sessions.")
+        : el(Text, { color: "gray", wrap: "wrap" }, "No active SSH sessions detected."),
+      el(Text, { wrap: "wrap" }, `Repo: ${context.item.repoUrl} (${context.refLabel})`),
+      el(Text, { wrap: "wrap" }, "Removes the project folder (no git history rewrite).")
+    ]),
+    Match.orElse(() => renderDefaultDetails(el, context))
+  )
+}