Enums§
Traits§
Functions§
- base_
filename_ without_ extension - compute_
md5 - download_
file - download_
file_ with_ md5 - extract_
md5_ from_ filename - fetch_
md5_ for_ link - Fetch the MD5 checksum for the given download link.
The
.md5
file contains just the MD5 sum and possibly a trailing newline. - filename
- filename_
with_ md5 - find_
file_ locally_ or_ download_ into - Attempt to obtain a file locally (with MD5 check) or download it otherwise.
- find_
local_ file - get_
extension_ intelligent - Retrieves the intelligent full extension from a given filename, supporting known multi-segment extensions like
.tar.gz
. - try_
use_ local_ file - Look for a local file with the given base name and extension, checking for a valid MD5.
If it’s valid, return
Some(local_path)
. Otherwise, returnNone
. - verify_
md5_ checksum