dearwolf/aider
1
0
Fork 0
mirror of https://github.com/Aider-AI/aider.git synced 2025-05-21 21:04:59 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

prefix date/time on benchmark dirs

Browse source
This commit is contained in:
Paul Gauthier 2023-06-26 10:46:30 -07:00
parent 1370da14fb
commit 2c7960ae26
1 changed files with 13 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

15
scripts/benchmark.py
View file

@ -3,6 +3,7 @@ import datetime
import json import json
import os import os
import random import random
import re
import shutil import shutil
import subprocess import subprocess
import time import time
@ -86,6 +87,18 @@ def main():
dirname = Path(args.dirname) dirname = Path(args.dirname)
if len(dirname.parts) == 1:
dirname = BENCHMARK_DNAME / dirname
now = datetime.datetime.now()
now = now.strftime("%Y-%m-%d-%H-%M-%S-")
if not dirname.exists():
if not re.match(r"\d\d\d\d-\d\d-\d\d-", str(dirname)):
dirname = dirname.parent / (now + dirname.name)
dump(dirname)
if args.clean and dirname.exists(): if args.clean and dirname.exists():
print("Cleaning up and replacing", dirname) print("Cleaning up and replacing", dirname)
dir_files = set(fn.name for fn in dirname.glob("*")) dir_files = set(fn.name for fn in dirname.glob("*"))
@ -94,8 +107,6 @@ def main():
print("ERROR: will not delete dir that does not look like original tests", dirname) print("ERROR: will not delete dir that does not look like original tests", dirname)
return return
now = datetime.datetime.now()
now = now.strftime("%Y-%m-%d-%H-%M-%S-")
dest = dirname.parent / "OLD" / (now + dirname.name) dest = dirname.parent / "OLD" / (now + dirname.name)
dirname.rename(dest) dirname.rename(dest)