Skip to content
PidocsCLI & tooling11 files · +332 −100

Add pi install instructions to pi-extensions READMEs

Session from pi-mono-sessions on Hugging Face by thomasmustier · MIT · condensed by Coders Talk

11msession
1interventions
GOAL

Sync a local repo with upstream, then add pi package-manager install commands to the README of each extension in the tmustier/pi-extensions repo.

  1. Prompt · +0
    git pull origin main
  2. Fail · +0m
    Pull failed due to local changes and untracked files blocking merge
  3. Prompt · +0m
    Discard local changes
  4. Agent did · +0m
    Discarded local changes and untracked .gitignore files, then pulled and fast-forwarded to latest main
  5. Prompt · +0m
    Apparently there's now a way to install pi extensions with a command?
  6. Agent did · +0m
    Searched pi-coding-agent docs and pi-mono source to find the new pi install/remove/list/update package commands and explained their settings.json integration
  7. Prompt · +2m
    Can we please look at pi-extensions and then add installation commands in the readmes of each extension?
  8. Intervention · +6m
    Developer stopped the agent from editing files inside pi-mono and redirected it to the separate ~/pi-extensions repo
    Why: It started poking around in the pi-mono source again instead of the actual extensions repo I wanted changed, so I had to point it at the right folder.
  9. Agent did · +6m
    Surveyed every extension folder in ~/pi-extensions, then edited each README (agent-guidance, arcade, code-actions, usage-extension, raw-paste, ralph-wiggum, relaunch, tab-status, files-widget, top-level README) to add pi install commands, and added a new package.json manifest listing extension entrypoints
  10. Prompt · +10m
    Commit/push all the readmes and the new package.json, but don't touch other unrelated changes
  11. Outcome · +11m
    Committed and pushed exactly 11 touched files (10 READMEs + package.json) to pi-extensions main, leaving other local changes untouched
VERDICT

Next time I'd start by pointing straight at ~/pi-extensions instead of letting it dig around in pi-mono's source first - that redirect was the correction that actually got it moving in the right direction. Once scoped correctly it did a clean sweep of all the READMEs and respected my instruction to only commit the files it had actually touched, which mattered since there were other unrelated local changes sitting in that repo.

I tried this · 0

Discussion · 0

How Builds work