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 \