Locate badlogic-game extension in pi-extensions repo
Session from pi-extensions-sessions on Hugging Face by thomasmustier · MIT · condensed by Coders Talk
Click a segment to jump to that moment
34ssession
0interventions
by library · 1d
GOAL
The developer wanted to install/enable the badlogic-game extension for the Pi coding agent but couldn't get it to register as an extension, and asked for help figuring out why.
- +0Prompt · +0Can we install the badlogic-game extension? I can't seem to add it as an extension for some reason.
- +0mAgent did · +0mAgent asked clarifying questions about which app/editor and error; developer clarified badlogic-game is a pi extension in the current folder.
- +0mAgent did · +0mListed repo root and badlogic-game folder contents, finding camera.js, core.js, engine.js and other game source files plus a spec.md and tests directory.
- +0mAgent did · +0mRead README.md at repo root listing available pi-extensions, to check how badlogic-game is meant to be registered.
- +0mAgent did · +0mExplored the arcade folder, finding a separate badlogic-game.ts file alongside other arcade games (picman, ping, tetris, spice-invaders) and read arcade/README.md describing them.
- +0mAgent did · +0mRead arcade/badlogic-game.ts, revealing it as a Mario-style TUI platformer extension invoked via /badlogic-game, distinct from the badlogic-game folder found earlier.
- +0mOutcome · +0mFound the actual badlogic-game extension lives in arcade/badlogic-game.ts (invoked with /badlogic-game), separate from the badlogic-game/ source folder; installation steps not yet completed.
VERDICT
Next time I'd say upfront that there are two things named badlogic-game in this repo, a folder and an arcade script, so we don't waste turns exploring the wrong one. The useful part was just letting the agent grep through the repo structure since I didn't know exactly where the extension lived myself.