diff options
Diffstat (limited to 'plugin/AGENTS/ARCH.md')
| -rw-r--r-- | plugin/AGENTS/ARCH.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugin/AGENTS/ARCH.md b/plugin/AGENTS/ARCH.md index 0f585bb..eb97e63 100644 --- a/plugin/AGENTS/ARCH.md +++ b/plugin/AGENTS/ARCH.md @@ -70,7 +70,8 @@ profile does not change an existing terminal. Windows bash profiles and non-POSI Unix shells are outside the supported terminal set. Save cancellation starts nothing. Save or terminal setup failures show an English -error message; compiler and program diagnostics go directly to the terminal. +error message; compiler and program diagnostics go directly to the terminal, +where cpsc colors its own diagnostics like gcc. Terminal execution follows Code Runner's reuse behavior: users must finish or interrupt an interactive program with Ctrl+C before running another file. |