From e07f2ef9b0b67823eee1d0fcf505f92be009f86f Mon Sep 17 00:00:00 2001 From: Justus Kuhlmann Date: Fri, 28 Nov 2025 17:07:36 +0100 Subject: [PATCH] re-add get_file method --- corrlib/tools.py | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/corrlib/tools.py b/corrlib/tools.py index e8a9c18..82c45fb 100644 --- a/corrlib/tools.py +++ b/corrlib/tools.py @@ -19,6 +19,15 @@ def k2m(k): return (1/(2*k))-4 +def get_file(path, file): + if file == "backlogger.db": + print("Downloading database...") + else: + print("Downloading data...") + dl.get(os.path.join(path, file), dataset=path) + print("> downloaded file") + + def record2name_key(record_path: str): file = record_path.split("::")[0] key = record_path.split("::")[1]