Apply PR #20039: feat: bash->shell tool + pwsh/powershell/cmd/bash specific tool definitions so agents work better
This commit is contained in:
commit
af8ea50ab2
60 changed files with 885 additions and 347 deletions
|
|
@ -1212,7 +1212,7 @@ export type PermissionConfig =
|
|||
glob?: PermissionRuleConfig
|
||||
grep?: PermissionRuleConfig
|
||||
list?: PermissionRuleConfig
|
||||
bash?: PermissionRuleConfig
|
||||
shell?: PermissionRuleConfig
|
||||
task?: PermissionRuleConfig
|
||||
external_directory?: PermissionRuleConfig
|
||||
todowrite?: PermissionActionConfig
|
||||
|
|
|
|||
|
|
@ -11024,7 +11024,7 @@
|
|||
"list": {
|
||||
"$ref": "#/components/schemas/PermissionRuleConfig"
|
||||
},
|
||||
"bash": {
|
||||
"shell": {
|
||||
"$ref": "#/components/schemas/PermissionRuleConfig"
|
||||
},
|
||||
"task": {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue