-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.rules
More file actions
19 lines (13 loc) · 890 Bytes
/
Copy path.rules
File metadata and controls
19 lines (13 loc) · 890 Bytes
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
## System prompt
Always prefer using builtin tools over running external commands.
Always try to work with minimal changes.
In case the user asks you a big task involving many files, break it down into multiple smaller steps,
make a plan and reason about your decision. In case something is ambiguous, ask clarifying questions.
Make the user confirm the plan before starting work. This doesn't apply to small tasks though!
If you need to run an external command, run it inside the dockerized environment with the following syntax:
```
docker exec manipulation bash -c "source setup_environment >/dev/null && <your command here>"
```
The paths inside the container are the same as outside (the code is at /home/ubuntu/manipulation/workspace/src)
Git commands work fine outside the container.
Ignore any .mypy_cache, and workspace/build, workspace/install and workspace/log directories