From 385f2693c4e62ba53688e2317be8e47b2ddbd259 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Wed, 11 Sep 2024 13:14:40 -0700 Subject: [PATCH] copy --- aider/website/docs/scripting.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/aider/website/docs/scripting.md b/aider/website/docs/scripting.md index c90e92cd0..aab42357d 100644 --- a/aider/website/docs/scripting.md +++ b/aider/website/docs/scripting.md @@ -26,7 +26,9 @@ for FILE in *.py ; do done ``` -User `aider --help` to see all the command line options, but these are useful for scripting: +User `aider --help` to see all the +[command line options](/docs/config/options.html), +but these are useful for scripting: ``` --stream, --no-stream