mirror of
https://github.com/getpaseo/paseo.git
synced 2026-07-29 12:01:31 +00:00
* feat(app): add workspaces to command center * fix(app): scale down command center typography * fix(app): avoid workspace theme subscription * fix(app): theme command center bottom sheet * fix(app): tighten command center workspace results
230 lines
7.1 KiB
TypeScript
230 lines
7.1 KiB
TypeScript
import type { EmptyProjectDescriptor, WorkspaceDescriptor } from "@/stores/session-store";
|
|
import { buildHostProjectList, type HostProjectListItem } from "@/projects/host-project-model";
|
|
import { buildWorkspaceStructureProjects } from "@/projects/workspace-structure";
|
|
|
|
export interface WorkspaceSummary {
|
|
id: string;
|
|
name: string;
|
|
title?: string;
|
|
workspaceKind: WorkspaceDescriptor["workspaceKind"];
|
|
status: WorkspaceDescriptor["status"];
|
|
currentBranch: string | null;
|
|
archivingAt?: string;
|
|
}
|
|
|
|
export interface ProjectHostEntry {
|
|
serverId: string;
|
|
serverName: string;
|
|
isOnline: boolean;
|
|
repoRoot: string;
|
|
workspaceCount: number;
|
|
workspaces: WorkspaceSummary[];
|
|
gitRuntime?: WorkspaceDescriptor["gitRuntime"];
|
|
githubRuntime?: WorkspaceDescriptor["githubRuntime"];
|
|
}
|
|
|
|
export interface ProjectSummary {
|
|
projectKey: string;
|
|
projectName: string;
|
|
projectCustomName?: string | null;
|
|
hosts: ProjectHostEntry[];
|
|
totalWorkspaceCount: number;
|
|
hostCount: number;
|
|
onlineHostCount: number;
|
|
githubUrl?: string;
|
|
}
|
|
|
|
export interface ProjectHost {
|
|
serverId: string;
|
|
serverName: string;
|
|
isOnline: boolean;
|
|
workspaces: WorkspaceDescriptor[];
|
|
/** Project parents with no active workspaces, so they still surface as projects. */
|
|
emptyProjects?: EmptyProjectDescriptor[];
|
|
}
|
|
|
|
export interface BuildProjectsInput {
|
|
hosts: ProjectHost[];
|
|
}
|
|
|
|
export interface BuildProjectsResult {
|
|
projects: ProjectSummary[];
|
|
}
|
|
|
|
const GITHUB_PROJECT_KEY_PATTERN = /^remote:github\.com\/([^/]+)\/([^/]+)$/;
|
|
|
|
interface HostGroup {
|
|
serverId: string;
|
|
serverName: string;
|
|
isOnline: boolean;
|
|
workspaces: WorkspaceDescriptor[];
|
|
// Repo root for a project parent that has no workspaces yet. Without it the
|
|
// host's repoRoot resolves to "" and the project reads as non-editable.
|
|
fallbackRepoRoot: string;
|
|
}
|
|
|
|
interface ProjectGroup {
|
|
projectKey: string;
|
|
projectName: string;
|
|
projectCustomName: string | null;
|
|
hostsByServerId: Map<string, HostGroup>;
|
|
}
|
|
|
|
function findProjectCustomName(
|
|
workspaces: WorkspaceDescriptor[],
|
|
projectKey: string,
|
|
): { customName: string; displayName: string } | null {
|
|
for (const workspace of workspaces) {
|
|
if (workspace.projectId === projectKey && workspace.projectCustomName) {
|
|
return {
|
|
customName: workspace.projectCustomName,
|
|
displayName: workspace.projectDisplayName,
|
|
};
|
|
}
|
|
}
|
|
return null;
|
|
}
|
|
|
|
function buildHostProjectEntries(host: ProjectHost): HostProjectListItem[] {
|
|
return buildHostProjectList({
|
|
projects: buildWorkspaceStructureProjects({
|
|
sessions: [
|
|
{
|
|
serverId: host.serverId,
|
|
workspaces: host.workspaces,
|
|
emptyProjects: host.emptyProjects,
|
|
},
|
|
],
|
|
}),
|
|
});
|
|
}
|
|
|
|
function deriveGithubUrl(projectKey: string): string | undefined {
|
|
const match = projectKey.match(GITHUB_PROJECT_KEY_PATTERN);
|
|
if (!match) {
|
|
return undefined;
|
|
}
|
|
return `https://github.com/${match[1]}/${match[2]}`;
|
|
}
|
|
|
|
function resolveHostRepoRoot(group: HostGroup): string {
|
|
for (const workspace of group.workspaces) {
|
|
const mainRepoRoot = workspace.project?.checkout.mainRepoRoot;
|
|
if (mainRepoRoot) {
|
|
return mainRepoRoot;
|
|
}
|
|
}
|
|
return group.workspaces[0]?.projectRootPath ?? group.fallbackRepoRoot;
|
|
}
|
|
|
|
function toWorkspaceSummary(workspace: WorkspaceDescriptor): WorkspaceSummary {
|
|
const currentBranch = workspace.gitRuntime?.currentBranch?.trim();
|
|
return {
|
|
id: workspace.id,
|
|
name: workspace.name,
|
|
...(workspace.title ? { title: workspace.title } : {}),
|
|
workspaceKind: workspace.workspaceKind,
|
|
status: workspace.status,
|
|
currentBranch: currentBranch && currentBranch !== "HEAD" ? currentBranch : null,
|
|
...(workspace.archivingAt ? { archivingAt: workspace.archivingAt } : {}),
|
|
};
|
|
}
|
|
|
|
function toHostEntry(group: HostGroup): ProjectHostEntry {
|
|
const repoRoot = resolveHostRepoRoot(group);
|
|
const canonical =
|
|
group.workspaces.find((workspace) => workspace.projectRootPath === repoRoot) ??
|
|
group.workspaces[0];
|
|
return {
|
|
serverId: group.serverId,
|
|
serverName: group.serverName,
|
|
isOnline: group.isOnline,
|
|
repoRoot,
|
|
workspaceCount: group.workspaces.length,
|
|
workspaces: group.workspaces.map(toWorkspaceSummary),
|
|
gitRuntime: canonical?.gitRuntime,
|
|
githubRuntime: canonical?.githubRuntime,
|
|
};
|
|
}
|
|
|
|
function compareHosts(left: ProjectHostEntry, right: ProjectHostEntry): number {
|
|
const name = left.serverName.localeCompare(right.serverName);
|
|
if (name !== 0) {
|
|
return name;
|
|
}
|
|
return left.serverId.localeCompare(right.serverId);
|
|
}
|
|
|
|
function toProjectSummary(draft: ProjectGroup): ProjectSummary {
|
|
const hosts = Array.from(draft.hostsByServerId.values()).map(toHostEntry).sort(compareHosts);
|
|
const totalWorkspaceCount = hosts.reduce((sum, host) => sum + host.workspaceCount, 0);
|
|
const onlineHostCount = hosts.filter((host) => host.isOnline).length;
|
|
return {
|
|
projectKey: draft.projectKey,
|
|
projectName: draft.projectName,
|
|
projectCustomName: draft.projectCustomName,
|
|
hosts,
|
|
totalWorkspaceCount,
|
|
hostCount: hosts.length,
|
|
onlineHostCount,
|
|
githubUrl: deriveGithubUrl(draft.projectKey),
|
|
};
|
|
}
|
|
|
|
export function buildProjects(input: BuildProjectsInput): BuildProjectsResult {
|
|
const groups = new Map<string, ProjectGroup>();
|
|
|
|
for (const host of input.hosts) {
|
|
const emptyRepoRootByProjectKey = new Map<string, string>();
|
|
for (const emptyProject of host.emptyProjects ?? []) {
|
|
emptyRepoRootByProjectKey.set(emptyProject.projectId, emptyProject.projectRootPath);
|
|
}
|
|
|
|
const hostProjects = buildHostProjectEntries(host);
|
|
for (const hostProject of hostProjects) {
|
|
const customName = findProjectCustomName(host.workspaces, hostProject.projectKey);
|
|
let group = groups.get(hostProject.projectKey);
|
|
if (!group) {
|
|
group = {
|
|
projectKey: hostProject.projectKey,
|
|
projectName: customName?.displayName ?? hostProject.projectName,
|
|
projectCustomName: customName?.customName ?? null,
|
|
hostsByServerId: new Map(),
|
|
};
|
|
groups.set(hostProject.projectKey, group);
|
|
} else if (customName && !group.projectCustomName) {
|
|
group.projectCustomName = customName.customName;
|
|
group.projectName = customName.displayName;
|
|
}
|
|
|
|
if (!group.hostsByServerId.has(host.serverId)) {
|
|
group.hostsByServerId.set(host.serverId, {
|
|
serverId: host.serverId,
|
|
serverName: host.serverName,
|
|
isOnline: host.isOnline,
|
|
workspaces: [],
|
|
fallbackRepoRoot: emptyRepoRootByProjectKey.get(hostProject.projectKey) ?? "",
|
|
});
|
|
}
|
|
}
|
|
|
|
for (const workspace of host.workspaces) {
|
|
const group = groups.get(workspace.projectId);
|
|
const hostGroup = group?.hostsByServerId.get(host.serverId);
|
|
if (!hostGroup) continue;
|
|
hostGroup.workspaces.push(workspace);
|
|
}
|
|
}
|
|
|
|
const projects = Array.from(groups.values()).map(toProjectSummary);
|
|
projects.sort((left, right) => {
|
|
const name = left.projectName.localeCompare(right.projectName);
|
|
if (name !== 0) {
|
|
return name;
|
|
}
|
|
return left.projectKey.localeCompare(right.projectKey);
|
|
});
|
|
|
|
return { projects };
|
|
}
|