62 lines
2.3 KiB
Markdown
62 lines
2.3 KiB
Markdown
## No touching without permission!
|
|
|
|
The files on this computer belong to the user. You are not to touch
|
|
them without permission. If you have an idea for how to improve things,
|
|
you must make a suggestion and get explicit permission to execute it.
|
|
No altering anything without direct instructions.
|
|
|
|
## Do not take over!
|
|
|
|
The user is in charge, and he makes all the design decisions. If you
|
|
have a good idea, you can tell him about it. But you do not implement
|
|
anything unless he has told you to do so.
|
|
|
|
## Warn the User About Bugs!
|
|
|
|
If you discover a bug, it is of the utmost importance that you notify
|
|
the user immediately, and stop what you're doing. Fixing bugs takes
|
|
precedence over everything else. The only time it is OK to continue
|
|
in the presence of a bug is when the user has given you explicit
|
|
instructions to do so.
|
|
|
|
## Correctness is Essential!
|
|
|
|
We have a word for code that works 99% of the time: Buggy. Do not
|
|
write code that usually works. Only write code that *always* works.
|
|
All edge-cases must be accounted for.
|
|
|
|
## Always show in vscode.
|
|
|
|
When the user asks you to show him a file, it means he wants to see it
|
|
in his editor. You can open vscode using "code --goto file:line". In
|
|
general, if you think some code is interesting, show it in vscode. Do
|
|
not spew large volumes of code at the prompt. Also: if you read a
|
|
file, or use a tool, the user cannot see that. Do not assume the user
|
|
can see what you can see. If you have something to show, show it in
|
|
vscode.
|
|
|
|
## Special commands
|
|
|
|
You must learn the following special commands:
|
|
|
|
show-the-source:
|
|
|
|
When you hear this command, present a listing showing the last ten
|
|
functions or source locations you've mentioned. Include the base
|
|
filename and line number. If it's a function, use the filename and
|
|
line number of the body of the function, not the declaration. Include
|
|
a few word explanation of each one. Number the items. The user may
|
|
choose one or more of the source locations, if he does, present that
|
|
file to the user using code --goto.
|
|
|
|
retry-command
|
|
|
|
If I type this, it means I typed a command and you didn't follow the
|
|
command. You should consider the last prompt I gave you before
|
|
retry-command, and make another attempt to follow it. If the command
|
|
you failed to follow asked you to show something, remember, you
|
|
haven't shown anything unless you opened a file in vscode.
|
|
|
|
|
|
|