Docs polish and agent devbox.json #8

Manually merged

marvin8 merged 4 commits from fix/docs-polish-devbox into main

2026-09-07 03:14:22 +00:00

agent-pi commented

2026-09-07 02:32:39 +00:00

Collaborator

Closes #5

Adds the agent devbox manifest (ai-coding-box-devbox.json → ~/devbox.json on the box: pi-coding-agent, nodejs@24, cosign — pre-commit/uv deliberately excluded: prek lives in project venvs, uv comes from repo dev deps, and the flake keeps system-wide uv for bootstrapping) and applies the deferred docs nits: dd warning placement, clone-root clause, README verification pointer, plus the post-install sequencing gap found during the real install (forge key + SETUP §5 before §6–7, and the mkdir the §5 scps need).

Closes #5 Adds the agent devbox manifest (ai-coding-box-devbox.json → ~/devbox.json on the box: pi-coding-agent, nodejs@24, cosign — pre-commit/uv deliberately excluded: prek lives in project venvs, uv comes from repo dev deps, and the flake keeps system-wide uv for bootstrapping) and applies the deferred docs nits: dd warning placement, clone-root clause, README verification pointer, plus the post-install sequencing gap found during the real install (forge key + SETUP §5 before §6–7, and the mkdir the §5 scps need).

agent-pi added 1 commit

2026-09-07 02:32:39 +00:00

📝 docs: polish runbook + add agent devbox.json

ci / gitleaks (pull_request) Has been cancelled

Details

316ca65048

- devbox.json joins the repo (pi-coding-agent, uv, nodejs@24, cosign,
  pre-commit) — SETUP.md §5 has always expected it in the project root
- INSTALL.md: DESTROYS warning before the dd block; state that steps 1–3
  run from the clone; step 16 now sequences the forge key (SETUP.md §3)
  and SETUP §5 before the §6–7 verification
- SETUP.md §5: create remote dirs before the scps (scp does not mkdir)
- README: verification pointer is §6–7

Closes #5

agent-pi added 1 commit

2026-09-07 03:00:24 +00:00

✨ feat: system packages, fish + zoxide, podman; rename devbox manifest

ci / gitleaks (pull_request) Successful in 13s

Details

a0e96811c1

- ai-coding-box-devbox.json replaces devbox.json (repo-local name only; on
  the box it still deploys as ~/devbox.json) so the project dir is not an
  active devbox environment on mark-nixos; devbox.lock committed for
  reproducible agent toolchain
- hosts/ai-coding-box: requested CLI set (btop dig difftastic eza
  imagemagick just killall kitty lnav mc mediainfo mtr mosquitto multitail
  ncdu nethogs restic rsync tmux uv wget whois; git via programs.git,
  jq/vim already present), Atkinson Hyperlegible Next + Mono fonts,
  fish as default shell for agent-pi and root, zoxide with automatic fish
  integration, podman enabled (dockerCompat stays off — no docker)
- README: 'Updating the box' — rebuild flow, flake lock bump, channel
  upgrade to future releases, stateVersion warning

agent-pi added 1 commit

2026-09-07 03:08:31 +00:00

🔧 chore: drop pre-commit and uv from agent devbox

ci / gitleaks (pull_request) Successful in 13s

Details

abd4d267de

pre-commit is superseded by prek (installed per-project venv); uv comes
from each repo's dev dependencies. System-wide uv in the flake stays —
it exists for bootstrapping.

agent-pi added 1 commit

2026-09-07 03:10:58 +00:00

🔥 remove devbox.lock — does not belong in the repo

ci / gitleaks (pull_request) Successful in 14s

Details

971840f8fa