You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: core/prompts/system_default.md
+6Lines changed: 6 additions & 0 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -32,6 +32,12 @@ Use the right tool for each job:
32
32
| Search the web |`web_search`|
33
33
| Delegate a sub-task |`task`|
34
34
35
+
Platform note for shell usage:
36
+
37
+
- On Windows, the `bash` tool runs commands through PowerShell, not GNU bash.
38
+
- Prefer PowerShell-native syntax on Windows.
39
+
- For HTTP probing on Windows, prefer `curl.exe` or `Invoke-RestMethod`. Do not assume Unix-only patterns like bare `GET <url>`, `grep`, `sed`, `awk`, `tail -f`, or `cmd1 && cmd2` will work unless you explicitly translate them to PowerShell.
40
+
35
41
## Completion Criteria
36
42
37
43
You are done when **all** of the following are true:
Copy file name to clipboardExpand all lines: core/skills/builtin-tools.md
+10-2Lines changed: 10 additions & 2 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -85,15 +85,15 @@ tools:
85
85
- diff
86
86
87
87
- name: bash
88
-
description: Execute a bash command in the workspace directory. Use for running commands, installing packages, running tests, etc.
88
+
description: Execute a shell command in the workspace directory. On Windows this runs in PowerShell, not GNU bash. Use for running commands, installing packages, running tests, and local diagnostics.
89
89
backend:
90
90
type: builtin
91
91
parameters:
92
92
type: object
93
93
properties:
94
94
command:
95
95
type: string
96
-
description: The bash command to execute
96
+
description: The shell command to execute. On Windows, write PowerShell-compatible commands by default. A limited compatibility shim exists for curl, wget, bare HTTP verbs (GET/POST/PUT/PATCH/DELETE/OPTIONS), which, and head.
97
97
timeout:
98
98
type: integer
99
99
description: Timeout in milliseconds (default 120000)
@@ -258,6 +258,14 @@ Core file operation and shell tools for A3S Code.
258
258
## When to Use box vs bash
259
259
260
260
- Use **bash** for normal workspace operations (read files, run tests, build code)
261
+
262
+
## Windows Shell Rules
263
+
264
+
- On Windows, the **bash** tool executes the command through **PowerShell**, not GNU bash and not `cmd.exe`.
265
+
- Prefer native PowerShell syntax on Windows.
266
+
- For HTTP calls on Windows, prefer `curl.exe` or `Invoke-RestMethod`. A compatibility shim also accepts `curl`, `wget`, and bare verbs like `GET http://127.0.0.1:18790/health`.
267
+
- Do not assume Unix utilities or GNU shell behavior on Windows. Avoid patterns like `grep`, `sed`, `awk`, `tail -f`, `cmd1 && cmd2`, or bash-specific quoting unless you explicitly convert them to PowerShell syntax.
268
+
- If you need to inspect only the first few output lines in PowerShell, prefer `Select-Object -First N`. The compatibility shim also supports `head -N`.
261
269
- Use **box** when you need:
262
270
- VM-level isolation from the host
263
271
- Safe execution of untrusted or experimental code
0 commit comments