From 417366b921bc9de7619fc3f4480107fe2a30fc1e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cl=C3=A9ment=20Jonglez?= <clement@jonglez.space>
Date: Tue, 12 Mar 2024 10:54:02 +0100
Subject: [PATCH] download_orekit_data_curdir: actually use the filename
argument
---
python_files/pyhelpers.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/python_files/pyhelpers.py b/python_files/pyhelpers.py
index ba4bc18..555e21d 100644
--- a/python_files/pyhelpers.py
+++ b/python_files/pyhelpers.py
@@ -50,7 +50,7 @@ def download_orekit_data_curdir(filename='orekit-data.zip'):
url = "https://gitlab.orekit.org/orekit/orekit-data/-/archive/master/orekit-data-master.zip"
# Download the orekit-data file and store it locally
- with urlrequest.urlopen(url) as response, open("orekit-data.zip", 'wb') as out_file:
+ with urlrequest.urlopen(url) as response, open(filename, 'wb') as out_file:
print('Downloading file from:', url)
shutil.copyfileobj(response, out_file)
--
GitLab