Agent · port 01 of 14

Bigface for pi

Theme for the pi coding agent TUI.

Checked with the tool1 file
main.ts
// main.ts — colours, not a screenshot.import { greet } from "./hello"; type User = { id: number; name: string }; const ENDPOINT = "https://api.example.com/users"; export async function main(ids: number[]): Promise<void> {  const res = await fetch(ENDPOINT);  if (!res.ok) throw new Error(`users: ${res.status}`);  const all: User[] = await res.json();  const picked = all.filter((u) => ids.includes(u.id));  picked.forEach((u) => greet(u.name));}
jun ~/code ❯ git status
On branch main

Install

curl -fsSL https://bigface.qqntt.com/install.sh | sh -s -- pi
Writes Bigface's own file, prints the one line to add.

It never edits your config; it prints the one line you still need to add (or remove).Read the script first, or add --dry-run.

Or do it by hand
  1. Copy bigface.json to ~/.pi/agent/themes/.
  2. Run pi --use-theme bigface for one session, or pick it under /settings → Theme.

Download

What was checked

Checked with the toolLoaded by pi's own theme loader; an 8-digit hex is rejected by the same loader.

bigface.json

themes/pi/bigface.json
{
  "name": "bigface",
  "appearance": "dark",
  "vars": {
    "bg": "#252925",
    "bgPanel": "#2e332e",
    "bgDeep": "#1f231f",
    "fg": "#d9d9d4",
    "fgMuted": "#9c9a8f",
    "fgDim": "#6e6b68",
    "border": "#494848",
    "borderMuted": "#333333",
    "selection": "#646464",
    "cursorLine": "#3b3c32",
    "braceMatch": "#3b514d",
    "blue": "#00b0ff",
    "skyBlue": "#81d4fa",
    "lightBlue": "#40c4ff",
    "paleBlue": "#b3e5fc",
    "cyan": "#66d9ef",
    "green": "#00c853",
    "limeGreen": "#8bc34a",
    "lime": "#c6ff00",
    "yellow": "#e5e500",
    "brightYellow": "#ffeb3b",
    "orange": "#ff9800",
    "burntOrange": "#fc5d23",
    "pink": "#f52670",
    "purple": "#ae81ff",
    "comment": "#75715e",
    "toolPending": "#2f2f22",
    "toolSuccess": "#1f3320",
    "toolError": "#3a2028",
    "customMessage": "#2b2740",
    "searchBg": "#ffe792",
    "searchFg": "#252621",
    "caret": "#f8f8f0"
  },
  "colors": {
    "accent": "blue",
…

Generated from the palette. Source:themes/pi.