tiennm99/serena
1
0 Fork 0
mirror of https://github.com/tiennm99/serena.git synced 2026-10-17 02:14:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add migration of 'edit_global_memories' setting

Browse Source
This commit is contained in:
Dominik Jain authored and Dominik Jain committed 2026-03-06 23:52:27 +01:00
1 parent 4dc617ae6b
commit eee2f12a74
1 file changed
+8
Download Patch File Download Diff File Expand all files Collapse all files
src/serena/config/serena_config.py
+8
View File
@@ -748,6 +748,14 @@ class SerenaConfig(SharedConfig):
instance.log_level = loaded_commented_yaml["gui_log_level"] instance.log_level = loaded_commented_yaml["gui_log_level"]
del loaded_commented_yaml["gui_log_level"] del loaded_commented_yaml["gui_log_level"]
# migrate "edit_global_memories"
if "edit_global_memories" in loaded_commented_yaml:
num_migrations += 1
edit_global_memories = loaded_commented_yaml["edit_global_memories"]
if not edit_global_memories:
instance.read_only_memory_patterns.append("global/.*")
del loaded_commented_yaml["edit_global_memories"]
# re-save the configuration file if any migrations were performed # re-save the configuration file if any migrations were performed
if num_migrations > 0: if num_migrations > 0:
log.info("Legacy configuration was migrated; re-saving configuration file") log.info("Legacy configuration was migrated; re-saving configuration file")