ceos/opencode
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update plugin themes when plugin was updated (#20052)

Browse source
This commit is contained in:
Sebastian 2026-03-30 13:51:07 +02:00 • committed by GitHub
commit 8e4bab5181
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
6 changed files with 237 additions and 38 deletions
Download patch file Download diff file Expand all files Collapse all files

4
packages/opencode/specs/tui-plugins.md
View file

@ -269,7 +269,9 @@ Theme install behavior:
- Relative theme paths are resolved from the plugin root.
- Theme name is the JSON basename.
- Install is skipped if that theme name already exists.
- First install writes only when the destination file is missing.
- If the theme name already exists, install is skipped unless plugin metadata state is `updated`.
- On `updated`, host only rewrites themes previously tracked for that plugin and only when source `mtime`/`size` changed.
- Local plugins persist installed themes under the local `.opencode/themes` area near the plugin config source.
- Global plugins persist installed themes under the global `themes` dir.
- Invalid or unreadable theme files are ignored.