From dc5ed7557491ae5210c28f3ca5986217c07b28b2 Mon Sep 17 00:00:00 2001 From: Philipp van Kempen Date: Mon, 4 Mar 2024 21:06:31 +0100 Subject: [PATCH] settings: avoid duplicated list items when merging --- seal5/settings.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/seal5/settings.py b/seal5/settings.py index f7d7769a..619f0adb 100644 --- a/seal5/settings.py +++ b/seal5/settings.py @@ -229,7 +229,9 @@ def merge(self, other: "YAMLSettings", overwrite: bool = False): elif isinstance(v1, list): if overwrite: v2.clear() - v2.extend(v1) + # duplicates are dropped here + new = [x for x in v1 if x not in v2] + v2.extend(new) else: assert isinstance( v2, (int, float, str, bool, Path)