Skip to content

Commit

Permalink
Simplify implementation
Browse files Browse the repository at this point in the history
  • Loading branch information
Marinovsky committed Oct 28, 2024
1 parent af44094 commit 05b3d5f
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions lean/components/config/lean_config_manager.py
Original file line number Diff line number Diff line change
Expand Up @@ -98,11 +98,10 @@ def get_known_lean_config_paths(self) -> List[Path]:
:return: a list of paths to Lean config files that were used in the past
"""
lean_config_paths = self._cache_storage.get("known-lean-config-paths", [])
lean_config_paths = [Path(p) for p in lean_config_paths]
lean_config_paths = [Path(normcase(p)) for p in lean_config_paths if Path(p).is_file()]
lean_config_paths = list(set(lean_config_paths))
lean_config_paths = [p for p in lean_config_paths if p.is_file()]

self._cache_storage.set("known-lean-config-paths", [normcase(p) for p in lean_config_paths])
self._cache_storage.set("known-lean-config-paths", [str(p) for p in lean_config_paths])

return lean_config_paths

Expand Down

0 comments on commit 05b3d5f

Please sign in to comment.