diff options
| author | Idris Gadi <[email protected]> | 2026-01-15 07:47:04 +0530 |
|---|---|---|
| committer | GitHub <[email protected]> | 2026-01-14 20:17:04 -0600 |
| commit | 6b019a125a93a9816f9ddec17dc04d2c6e9b4257 (patch) | |
| tree | 38433663d9cff6feb1beaf0fefc1d741449b929d /packages/web/src/content/docs/agents.mdx | |
| parent | 6a2fed7042641c64a5f0a0dfab20cb2ba6eef3d5 (diff) | |
| download | opencode-6b019a125a93a9816f9ddec17dc04d2c6e9b4257.tar.gz opencode-6b019a125a93a9816f9ddec17dc04d2c6e9b4257.zip | |
docs: fix permission system documentation in agents section (#7652)
Diffstat (limited to 'packages/web/src/content/docs/agents.mdx')
| -rw-r--r-- | packages/web/src/content/docs/agents.mdx | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/packages/web/src/content/docs/agents.mdx b/packages/web/src/content/docs/agents.mdx index 3dfd16e7d..7e6098f43 100644 --- a/packages/web/src/content/docs/agents.mdx +++ b/packages/web/src/content/docs/agents.mdx @@ -429,6 +429,7 @@ permission: "*": ask "git diff": allow "git log*": allow + "grep *": allow webfetch: deny --- @@ -444,7 +445,8 @@ You can set permissions for specific bash commands. "build": { "permission": { "bash": { - "git push": "ask" + "git push": "ask", + "grep *": "allow" } } } @@ -480,7 +482,7 @@ Since the last matching rule takes precedence, put the `*` wildcard first and sp "permission": { "bash": { "*": "ask", - "git status": "allow" + "git status *": "allow" } } } |