From 8d79b492961430f2ceff054828802117c808da25 Mon Sep 17 00:00:00 2001 From: Alexandru Fikl Date: Sun, 22 Feb 2026 16:20:30 +0200 Subject: [PATCH] feat: add a dash after the identifier in pdict --- pytools/persistent_dict.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pytools/persistent_dict.py b/pytools/persistent_dict.py index aad472d0..118fab75 100644 --- a/pytools/persistent_dict.py +++ b/pytools/persistent_dict.py @@ -459,7 +459,7 @@ def __init__(self, else: container_dir = platformdirs.user_cache_dir("pytools", "pytools") - self.filename = join(container_dir, f"pdict-v5-{identifier}" + self.filename = join(container_dir, f"pdict-v5-{identifier}-" + ".".join(str(i) for i in sys.version_info) + ".sqlite")