From 0a23c4abd6fbdd0afb7a46448eb02fda5506021e Mon Sep 17 00:00:00 2001
From: "Paul Gauthier (aider)" <paul@aider.chat>
Date: Tue, 24 Dec 2024 08:03:01 -0500
Subject: [PATCH] feat: Configure bash history to save commands immediately

---
 benchmark/docker.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/benchmark/docker.sh b/benchmark/docker.sh
index 205552619..3a8e4003c 100755
--- a/benchmark/docker.sh
+++ b/benchmark/docker.sh
@@ -7,6 +7,10 @@ docker run \
        -v `pwd`/tmp.benchmarks/.:/benchmarks \
        -e OPENAI_API_KEY=$OPENAI_API_KEY \
        -e HISTFILE=/aider/.bash_history \
+       -e PROMPT_COMMAND='history -a' \
+       -e HISTCONTROL=ignoredups \
+       -e HISTSIZE=10000 \
+       -e HISTFILESIZE=20000 \
        -e AIDER_DOCKER=1 \
        -e AIDER_BENCHMARK_DIR=/benchmarks \
        aider-benchmark \