diff --git a/py/config.py b/py/config.py index d3cfcd86..7a12b1a6 100644 --- a/py/config.py +++ b/py/config.py @@ -110,7 +110,7 @@ class Config: for path in raw_paths: if os.path.exists(path): real_path = os.path.normpath(os.path.realpath(path)).replace(os.sep, '/') - path_map[real_path] = path_map.get(real_path, path) # preserve first seen + path_map[real_path] = path_map.get(real_path, path.replace(os.sep, "/")) # preserve first seen # Now sort and use only the deduplicated real paths unique_paths = sorted(path_map.values(), key=lambda p: p.lower())