feat: unify Docker entrypoint

2026-06-29 11:27:47 +00:00
parent 4a1136eac2
commit bd28c93cfe
35 changed files with 2316 additions and 118 deletions
@@ -223,6 +223,10 @@ function installationLabel(installation: PiWebInstallationInfo | undefined): str
    return `global npm package${npmRoot}${path}`;
  }
  if (installation.kind === "local") return installation.path === undefined ? "local checkout" : `local checkout · ${installation.path}`;
+  if (installation.kind === "docker") {
+    const mode = installation.dockerMode === "dev" ? "Docker development runtime" : "Docker runtime";
+    return installation.path === undefined ? mode : `${mode} · ${installation.path}`;
+  }
  return installation.path === undefined ? "installation unknown" : `installation unknown · ${installation.path}`;
 }