MediaMetz/gemini-cli
1
0
Fork 0
mirror of https://github.com/google-gemini/gemini-cli.git synced 2026-03-10 22:21:22 -07:00
Code Issues Packages Projects Releases Wiki Activity

Add support for user-scoped extension settings (#13748)

Browse Source
This commit is contained in:
christine betts
2025-12-08 17:51:26 -05:00
committed by GitHub
parent 91c46311c8
commit ec9a8c7a72
4 changed files with 322 additions and 158 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
docs/extensions/index.md
View File

@@ -232,9 +232,12 @@ gemini extensions settings list <extension name>
and you can update a given setting using:
```
gemini extensions settings set <extension name> <setting name>
gemini extensions settings set <extension name> <setting name> [--scope <scope>]
```
- `--scope`: The scope to set the setting in (`user` or `workspace`). This is
optional and will default to `user`.
### Custom commands
Extensions can provide [custom commands](../cli/custom-commands.md) by placing