From eb5c19dbfe79dcea4afbad67fc9a53c9ad9717b6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Johannes=20Schm=C3=B6lder?= <j.schmoelder@fz-juelich.de>
Date: Fri, 23 Jan 2026 10:29:58 +0100
Subject: [PATCH] Indent options.json

---
 cadetrdm/repositories.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cadetrdm/repositories.py b/cadetrdm/repositories.py
index 71f6d65..03d62c1 100644
--- a/cadetrdm/repositories.py
+++ b/cadetrdm/repositories.py
@@ -1090,7 +1090,7 @@ def update_output_main_logs(self, output_dict: dict = None):
             json.dump(entry.to_dict(), f, indent=2)
 
         if self.options is not None:
-            self.options.dump_json_file(logs_dir / "options.json")
+            self.options.dump_json_file(logs_dir / "options.json", indent=2)
 
         log = OutputLog(self.output_log_file)
         log.entries[output_branch_name] = entry