From fec3f75d4cf98a4452f3eb7b13bcab491de90933 Mon Sep 17 00:00:00 2001 From: Julian lechner Date: Wed, 30 Sep 2026 10:41:55 +0200 Subject: [PATCH] fix(config): drop unmanaged TOML tables --- scripts/lib/install-options.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/scripts/lib/install-options.py b/scripts/lib/install-options.py index 0be2c2e..102bcb4 100644 --- a/scripts/lib/install-options.py +++ b/scripts/lib/install-options.py @@ -129,9 +129,11 @@ def merge_toml(current_text, managed_text, statusline_enabled=True): owned_hook = any(re.search(r'(?:flashbang|statusline|record-compact|session-state-pointer)\.(?:ps1|sh)', line, re.I) for line in block) if plugin_table and header in managed_headers: raise ValueError('Cannot merge conflicting managed plugin tables.') - if header not in managed_headers or (array_table and not owned_hook): + if (plugin_table and header not in managed_headers) or (array_table and not owned_hook): extras.extend(block) continue + if header not in managed_headers: + continue if array_table: continue generated_block = next(lines for name, lines in managed_sections if name == header)