mister-devel/Distribution_MiSTer
1
0
Fork 0
mirror of https://github.com/MiSTer-devel/Distribution_MiSTer.git synced 2026-05-17 03:03:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Including proper typing

Browse Source
This commit is contained in:
José Manuel Barroso Galindo
2023-09-16 00:43:45 +02:00
committed by GitHub
parent a11a4f53bd
commit c09a64e6aa
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/download_distribution.py vendored
View File

@@ -521,7 +521,7 @@ extra_content_late_installers = {
def install_empty_folder(url: str, target_dir: str):
touch_folder(f'{target_dir}/{url}')
def install_file(path_and_url: str, target_dir: str):
def install_file(path_and_url: Tuple[str, str], target_dir: str):
if len(path_and_url) != 2:
raise ValueError("Wrong path_and_url value: " + str(path_and_url))
path, url = path_and_url