Skip to content
Snippets Groups Projects
Commit 417366b9 authored by Clément Jonglez's avatar Clément Jonglez
Browse files

download_orekit_data_curdir: actually use the filename argument

parent 06dda7dd
No related branches found
No related tags found
1 merge request!5Support loading orekit data from Python library
...@@ -50,7 +50,7 @@ def download_orekit_data_curdir(filename='orekit-data.zip'): ...@@ -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" url = "https://gitlab.orekit.org/orekit/orekit-data/-/archive/master/orekit-data-master.zip"
# Download the orekit-data file and store it locally # 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) print('Downloading file from:', url)
shutil.copyfileobj(response, out_file) shutil.copyfileobj(response, out_file)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment