feat: add PK01 host postgres platform-db CLI

This commit is contained in:
Codex
2026-06-12 05:08:37 +00:00
parent 467c1c48ca
commit 93273a12ef
5 changed files with 2019 additions and 0 deletions
+9
View File
@@ -24,6 +24,7 @@ import { runCommanderCommand } from "./src/commander";
import { isHelpToken, rootHelp, serverHelp, sshHelp, staticNamespaceHelp } from "./src/help";
import { runServerCleanupCommand } from "./src/server-cleanup";
import { runGcCommand } from "./src/gc";
import { runPlatformDbCommand } from "./src/platform-db";
const remoteOptions = extractRemoteCliOptions(process.argv.slice(2));
const args = remoteOptions.args;
@@ -339,6 +340,14 @@ async function main(): Promise<void> {
return;
}
if (top === "platform-db") {
const result = await runPlatformDbCommand(readConfig(), args.slice(1));
const ok = (result as { ok?: unknown }).ok !== false;
emitJson(commandName, result, ok);
if (!ok) process.exitCode = 1;
return;
}
const config = readConfig();
const autoRemoteCiPublishPlan = autoRemoteCiPublishUserServiceDryRunPlan(config, args);
if (autoRemoteCiPublishPlan.enabled && autoRemoteCiPublishPlan.host !== null) {