| /** | |
| * The tools whose completion may have changed the working tree without an | |
| * edit record: a refresh trigger, never an open trigger. | |
| */ | |
| export const SHELL_TOOLS = ['Bash', 'PowerShell'] as const | |
| /** | |
| * The tools whose completion may have changed the working tree without an | |
| * edit record: a refresh trigger, never an open trigger. | |
| */ | |
| export const SHELL_TOOLS = ['Bash', 'PowerShell'] as const | |