From 7b76343f59a7f54ec4f4f894a0261b9fcabb5308 Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Wed, 28 May 2025 11:18:05 +0200 Subject: [PATCH 1/5] Improve out-of-project config migration: Add project_name --- src/serena/agent.py | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/serena/agent.py b/src/serena/agent.py index 6ec280f..6b1e7ef 100644 --- a/src/serena/agent.py +++ b/src/serena/agent.py @@ -284,6 +284,10 @@ class SerenaConfig: try: with open(path, encoding="utf-8") as f: project_config_data = yaml.safe_load(f) + if "project_name" not in project_config_data: + project_name = path.stem + with open(path, "a", encoding="utf-8") as f: + f.write(f"\nproject_name: {project_name}") project_root = project_config_data["project_root"] shutil.move(str(path), str(Path(project_root) / ProjectConfig.rel_path_to_project_yml())) return Path(project_root).resolve() From 3fda975a060ea97638a8822880f15f5e6b48aa6c Mon Sep 17 00:00:00 2001 From: Dominik Jain Date: Wed, 28 May 2025 19:54:15 +0200 Subject: [PATCH 2/5] Add icons, apply as favicons for dashboard --- dashboard/index.html | 3 +++ dashboard/serena-icon-16.png | Bin 0 -> 3208 bytes dashboard/serena-icon-32.png | Bin 0 -> 4846 bytes dashboard/serena-icon-48.png | Bin 0 -> 6262 bytes resources/serena-icons.cdr | Bin 0 -> 73931 bytes 5 files changed, 3 insertions(+) create mode 100644 dashboard/serena-icon-16.png create mode 100644 dashboard/serena-icon-32.png create mode 100644 dashboard/serena-icon-48.png create mode 100644 resources/serena-icons.cdr diff --git a/dashboard/index.html b/dashboard/index.html index d0f8ffc..b7136e4 100644 --- a/dashboard/index.html +++ b/dashboard/index.html @@ -4,6 +4,9 @@ Serena Dashboard + + +