[config] Rename ARGS.update to ARGS.add_if_not_set, because replace is not used

Author: mpsijm

bin/config.py

@@ -272,9 +272,9 @@ def get_arg(key: str, default: T, constraint: Optional[str] = None) -> T:
             print(key, type(kwargs[key]))
             warn(f"unknown key in {source}: '{key}'")
 
-    def update(self, args: "ARGS", replace: bool = False) -> None:
+    def add_if_not_set(self, args: "ARGS") -> None:
         for key in args._set:
-            if key not in self._set or replace:
+            if key not in self._set:
                 setattr(self, key, getattr(args, key))
                 self._set.add(key)
 

bin/tools.py

@@ -1091,8 +1091,7 @@ def read_personal_config(problem_dir: Optional[Path]) -> None:
             warn(f"invalid data in {config_data}. SKIPPED.")
             continue
 
-        tmp = config.ARGS(config_file, **config_data)
-        config.args.update(tmp)
+        config.args.add_if_not_set(config.ARGS(config_file, **config_data))
 
 
 def run_parsed_arguments(args: argparse.Namespace, personal_config: bool = True) -> None: