docs(coding-agent): document layered filtering behavior

This commit is contained in:
Mario Zechner 2026-01-23 20:59:31 +01:00
parent 375d0bc4d6
commit e8fadb7333
3 changed files with 3 additions and 2 deletions

View file

@ -27,6 +27,7 @@
### Fixed
- User package filters now layer on top of manifest filters instead of replacing them ([#645](https://github.com/badlogic/pi-mono/issues/645))
- Auto-retry now handles "terminated" errors from Codex API mid-stream failures
- Follow-up queue (Alt+Enter) now sends full paste content instead of `[paste #N ...]` markers ([#912](https://github.com/badlogic/pi-mono/issues/912))
- Fixed Alt-Up not restoring messages queued during compaction ([#923](https://github.com/badlogic/pi-mono/pull/923) by [@aliou](https://github.com/aliou))

View file

@ -1025,7 +1025,7 @@ Use `-l` to install into project settings (`.pi/settings.json`).
- Paths are relative to package root
- Use `!pattern` to exclude (e.g., `"!deprecated/*"`)
- Glob patterns supported via minimatch (e.g., `"*.ts"`, `"**/*.json"`)
- **Pattern precedence:** Exclusions always win. If a path matches both an include and exclude pattern, it is excluded. Order in the array does not matter.
- **Layered filtering:** User filters apply on top of manifest filters (they narrow down, not replace). If a manifest excludes 10 extensions and user adds one more exclusion, all 11 are excluded.
**Dependencies:** Extensions can have their own dependencies. Place a `package.json` next to the extension (or in a parent directory), run `npm install`, and imports are resolved via [jiti](https://github.com/unjs/jiti). See [examples/extensions/with-deps/](examples/extensions/with-deps/).

View file

@ -159,7 +159,7 @@ pi update # update all non-pinned packages
- Paths are relative to package root
- Use `!pattern` to exclude (e.g., `"themes": ["!funky.json"]`)
- Glob patterns supported via minimatch (e.g., `"extensions": ["**/*.ts", "!**/deprecated/*"]`)
- **Pattern precedence:** Exclusions always win. If a path matches both an include and exclude pattern, it is excluded. Order in the array does not matter.
- **Layered filtering:** User filters apply on top of manifest filters. If a manifest excludes 10 extensions and user adds one more exclusion, all 11 are excluded.
**Discovery rules:**