fix(config): drop unmanaged TOML tables
CI / Capabilities and shell quality (push) Successful in 13s
CI / Python tests and compilation (push) Successful in 22s
CI / CI configuration security checks (push) Successful in 4s
CI / Build and inspect generated packages (push) Successful in 14s
CI / PowerShell tests on Ubuntu (push) Failing after 1m11s
CI / Bash integration and installation guards (push) Failing after 15s
CI / Installed client configuration smoke tests (push) Successful in 14s
CI / Qwen retrieval integration (push) Canceled after 7m5s
CI / Capabilities and shell quality (push) Successful in 13s
CI / Python tests and compilation (push) Successful in 22s
CI / CI configuration security checks (push) Successful in 4s
CI / Build and inspect generated packages (push) Successful in 14s
CI / PowerShell tests on Ubuntu (push) Failing after 1m11s
CI / Bash integration and installation guards (push) Failing after 15s
CI / Installed client configuration smoke tests (push) Successful in 14s
CI / Qwen retrieval integration (push) Canceled after 7m5s
This commit is contained in:
1 parent
6ab92ec30e
commit
fec3f75d4c
1 file changed
+3
-1
@@ -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)
|
||||
|
||||
Reference in new issue
Block a user