Searched refs:download_to_cache (Results 1 – 2 of 2) sorted by relevance
210 arduino_zipfile = file_operations.download_to_cache(217 teensyduino_installer = file_operations.download_to_cache(288 teensyduino_zip = file_operations.download_to_cache(310 arduino_tarfile = file_operations.download_to_cache(317 teensyduino_installer = file_operations.download_to_cache(360 core_tarfile = file_operations.download_to_cache(381 core_tarfile = file_operations.download_to_cache(404 core_tarfile = file_operations.download_to_cache(
99 def download_to_cache(url: str, function