feat(coding-agent): export VERSION and update custom-header example (#798)

Co-authored-by: Jian Zhang <jzhang@yanhuangdata.com>
This commit is contained in:
Jian Zhang 2026-01-17 17:54:00 +08:00 committed by GitHub
parent 58eec55154
commit fc538f6ca1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 2 deletions

View file

@ -6,6 +6,7 @@
*/ */
import type { ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent"; import type { ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
import { VERSION } from "@mariozechner/pi-coding-agent";
// --- PI MASCOT --- // --- PI MASCOT ---
// Based on pi_mascot.ts - the pi agent character // Based on pi_mascot.ts - the pi agent character
@ -52,7 +53,7 @@ export default function (pi: ExtensionAPI) {
render(_width: number): string[] { render(_width: number): string[] {
const mascotLines = getPiMascot(theme); const mascotLines = getPiMascot(theme);
// Add a subtitle with hint // Add a subtitle with hint
const subtitle = theme.fg("muted", " shitty coding agent"); const subtitle = `${theme.fg("muted", " shitty coding agent")}${theme.fg("dim", ` v${VERSION}`)}`;
return [...mascotLines, subtitle]; return [...mascotLines, subtitle];
}, },
invalidate() {}, invalidate() {},

View file

@ -1,7 +1,7 @@
// Core session management // Core session management
// Config paths // Config paths
export { getAgentDir } from "./config.js"; export { getAgentDir, VERSION } from "./config.js";
export { export {
AgentSession, AgentSession,
type AgentSessionConfig, type AgentSessionConfig,