various #16

Merged
dan merged 94 commits from various into dev 2023-12-14 14:04:01 +01:00
Showing only changes of commit 5102cf2d91 - Show all commits

View file

@ -79,3 +79,8 @@ def get_session_id(args_output_dir: Path, args_resume: bool, args_session_id: Op
if latest_session_id:
session_id = latest_session_id
return session_id
def files_are_same(file1: Path, file2: Path) -> bool:
with open(file1, "r") as f1, open(file2, "r") as f2:
return f1.read() == f2.read()