This commit is contained in:
Andrew Pareles 2025-03-19 18:55:13 -07:00
parent 932b4974e9
commit dd321121e3
2 changed files with 4 additions and 4 deletions

View file

@ -535,7 +535,7 @@ export const FeaturesTab = () => {
{/* Tools Section */}
<div className='w-full'>
<h4 className={`text-base`}>Tools</h4>
<div className='text-sm italic text-void-fg-3 mt-1 mb-4'>If a tool can modify files on your computer, it requires approval by default.</div>
<div className='text-sm italic text-void-fg-3 mt-1 mb-4'>{`Tools are functions that LLMs can call. By default, tools that can modify files require approval in Void.`}</div>
<div className='my-2'>
{/* Auto Accept Switch */}

View file

@ -66,10 +66,10 @@ If you think it's appropriate to suggest an edit to a file, then you must descri
Misc:
- Do not make things up.
- Do not be lazy.
- Always wrap any code you produce in triple backticks, and specify a language if possible. For example, ${tripleTick[0]}typescript\n...\n${tripleTick[1]}. ${mode === 'agent' || mode === 'gather' ? `
- If you are writing a code explanation for the user (NOT calling a tool), and you know the full path of the file that the code should go in, then you should also output the FULL global path in the first line of the triple ticks. For example, ${tripleTick[0]}typescript\n/Users/username/Desktop/my_project/app.ts\n...\n${tripleTick[1]}.\
This is only for display purposes to the user, and it's not required. Do NOT do this if you are calling a tool or have any ambiguity about the full path.` : ''}\
- Always wrap any code you produce in triple backticks, and specify a language if possible. For example, ${tripleTick[0]}typescript\n...\n${tripleTick[1]}.\
`
// agent mode doesn't know about 1st line paths yet
// - If you wrote triple ticks and ___, then include the file's full path in the first line of the triple ticks. This is only for display purposes to the user, and it's preferred but optional. Never do this in a tool parameter, or if there's ambiguity about the full path.
type FileSelnLocal = { fileURI: URI, language: string, content: string }