change pulled remote file name to lower case

This commit is contained in:
Bruce MacDonald 2023-06-30 11:40:00 -04:00
parent a11cddbf99
commit e0ccc0c1b7

View file

@ -41,7 +41,7 @@ def download_from_repo(url, file_name):
location = location.strip('/')
if file_name == '':
file_name = path.basename(location)
file_name = path.basename(location).lower()
download_url = urlunsplit(
(